Skip to content

Commit 1cf3feb

Browse files
authored
Allow user packages in make doc (#5950)
1 parent 607bcee commit 1cf3feb

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

doc/make_doc.in

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@ set -e
44
set -o pipefail
55

66
GAP=@abs_top_builddir@/gap
7-
GAPARGS="-b -m 1g -x 80 -q --quitonbreak -r"
7+
GAPARGS="-b -m 1g -x 80 -q --quitonbreak"
88
if [ "$1" == "nopdf" ]; then
99
NOPDF=", \"nopdf\""
1010
else

0 commit comments

Comments
 (0)