diff --git a/doc/make_doc.in b/doc/make_doc.in
index ac535332e4..dafe4479c2 100644
--- a/doc/make_doc.in
+++ b/doc/make_doc.in
@@ -4,7 +4,7 @@ set -e
 set -o pipefail
 
 GAP=@abs_top_builddir@/gap
-GAPARGS="-b -m 1g -x 80 -q --quitonbreak -r"
+GAPARGS="-b -m 1g -x 80 -q --quitonbreak"
 if [ "$1" == "nopdf" ]; then
   NOPDF=", \"nopdf\""
 else