--- ../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