blob: 2c110174a9015370c224aa929dcf49ddb9ffe077 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
|
--- ../doc/Makefile.orig Thu Dec 21 14:07:10 2006
+++ ../doc/Makefile Tue Jan 9 18:29:27 2007
@@ -2,7 +2,7 @@
DVI=texi2dvi
DVIPS=dvips -o "$@"
PSPDF=ps2pdf
-INFO=makeinfo
+INFO=makeinfo --no-validate --no-split
HTML=makeinfo --html --no-split
RM=rm -f
TAR=tar -chvf
|
