blob: 0307d8372b35b3c7c6a11639d0b29221151c5894 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
|
--- ../doc/Makefile.orig Fri Sep 20 10:35:27 2002
+++ ../doc/Makefile Tue Jul 29 18:53:08 2003
@@ -1,7 +1,7 @@
SRCDIR=../src
DVI=texi2dvi
DVIPS=dvips -o "$@"
-INFO=makeinfo
+INFO=makeinfo --no-validate --no-split
-HTML=makeinfo --html
+HTML=makeinfo --html --no-split
RM=rm -f
TAR=tar -chvf
|