1 files changed, 1 insertions, 1 deletions

diff --git a/manual/platform/mrobe100.tex b/manual/platform/mrobe100.tex
index 17e00f46b1..0b0a7e3899 100644
--- a/manual/platform/mrobe100.tex
+++ b/manual/platform/mrobe100.tex
@@ -6,7 +6,7 @@
 \edef\UseOption{\UseOption,HAVE_DISK_STORAGE}
 \edef\UseOption{\UseOption,HAVE_BUTTON_LIGHTS}
 \edef\UseOption{\UseOption,olympus}
-\edef\UseOption{\UseOption,release30}
+\edef\UseOption{\UseOption,release31}
 
 \newcommand{\playerman}{Olympus}
 \newcommand{\playertype}{m:robe 100}