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