Remove bogus "echo" command.

freddrake · freddrake · commit 675e1d0a0dc4 · 2001-01-09T22:50:13.000Z
diff --git a/Doc/html/Makefile b/Doc/html/Makefile
@@ -77,7 +77,6 @@ doc/doc.html:  $(DOCFILES) $(BUILDINDEX)
 	$(MKHTML) $(TOPDIR)/doc/doc.tex
 
 ext/ext.html:  $(EXTFILES)
-	echo $(EXTFILES)
 	$(MKHTML) $(TOPDIR)/ext/ext.tex
 
 lib/lib.html:  $(LIBFILES) $(BUILDINDEX)
