diff options
-rw-r--r-- | doc/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/Makefile.in b/doc/Makefile.in index 89decb6..3b09d17 100644 --- a/doc/Makefile.in +++ b/doc/Makefile.in @@ -24,7 +24,7 @@ INSTALL = @INSTALL@ INSTALL_DATA = @INSTALL_DATA@ MAKEINFO = makeinfo -MAKEINFO_FLAGS = +MAKEINFO_FLAGS = --split-size=500000 TEX = tex '\nonstopmode \input' TEXINDEX = texindex |