diff options
| author | karl <karl> | 2004-06-23 18:27:15 +0000 |
|---|---|---|
| committer | karl <karl> | 2004-06-23 18:27:15 +0000 |
| commit | ff2fea7496933ad8b81abcc71c73065023cf835b (patch) | |
| tree | 8bb42ad8432055869322918161cabf3f5be442ac | |
| parent | 7728c9181869c1ed7a788060dfb1d2055a9b112e (diff) | |
| download | fontutils-ff2fea7496933ad8b81abcc71c73065023cf835b.tar.gz | |
(MAKEINFO_FLAGS): do not split
| -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 |