Index: auto/defaults
===================================================================
--- auto/defaults	(revision e4cec26b9f4157c18cc9809b9570c3f2eb14cc03)
+++ auto/defaults	(revision 9a367616612b9e69c7e0bb155d5b543d50824483)
@@ -22,4 +22,8 @@
 DEFAULT_CP='/bin/cp'
 DEFAULT_CHMOD='/bin/chmod'
+DEFAULT_MAKEINFO='/usr/bin/makeinfo'
+DEFAULT_TEXI2DVI='/usr/bin/texi2dvi'
+DEFAULT_TEXI2PDF='/usr/bin/texi2pdf'
+DEFAULT_DVIPS='/usr/bin/dvips'
 
 DEFAULT_CFLAGS='-g -O2 -Wall'