Remove bogus "echo" command.
diff --git a/Doc/html/Makefile b/Doc/html/Makefile
index 5da7cab..4cd8423 100644
--- a/Doc/html/Makefile
+++ b/Doc/html/Makefile
@@ -77,7 +77,6 @@
 	$(MKHTML) $(TOPDIR)/doc/doc.tex
 
 ext/ext.html:  $(EXTFILES)
-	echo $(EXTFILES)
 	$(MKHTML) $(TOPDIR)/ext/ext.tex
 
 lib/lib.html:  $(LIBFILES) $(BUILDINDEX)