--- ../doc/Makefile.orig	Thu Apr 21 16:02:59 2005
+++ ../doc/Makefile	Sat Jul  1 06:08:13 2006
@@ -2,8 +2,8 @@
 DVI=texi2dvi
 DVIPS=dvips -o "$@"
 PSPDF=ps2pdf
-INFO=makeinfo
-HTML=makeinfo --html
+INFO=makeinfo --no-validate --no-split
+HTML=makeinfo --html --no-split
 RM=rm -f
 TAR=tar -chvf
 GZIP=gzip -9