1 files changed, 0 insertions, 1 deletions

diff --git a/manual/platform/ondiosp.tex b/manual/platform/ondiosp.tex
index afe52077b9..17fe187b80 100644
--- a/manual/platform/ondiosp.tex
+++ b/manual/platform/ondiosp.tex
@@ -6,7 +6,6 @@
 \edef\UseOption{\UseOption,ONDIO_PAD}
 \edef\UseOption{\UseOption,archos}
 \edef\UseOption{\UseOption,rombox}
-\edef\UseOption{\UseOption,release31}
 
 \newcommand{\playerman}{Archos}
 \newcommand{\playertype}{Ondio}