--- ../doc/Makefile.orig	2007-09-17 20:36:09.000000000 -0700
+++ ../doc/Makefile	2007-10-25 14:04:48.000000000 -0700
@@ -1,8 +1,8 @@
 SRCDIR=../src
-DVI=texi2dvi4a2ps	# texi2dvi
+DVI=texi2dvi	# 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