--- Documentation/Makefile.in.orig	Sat Jul 26 20:29:59 1997
+++ Documentation/Makefile.in	Wed Nov  5 11:16:28 1997
@@ -93,7 +93,7 @@
 TEXI_SRC = contributors.texi customization.texi faq.texi intro.texi\
 	   installation.texi related-sw.texi usage.texi
 
-all: @DOCTYPES@
+all: info_doc html_doc
 
 # Run SED to replace the correct version in the main file
 #