Remove bogus "echo" command.

diff --git a/Doc/html/Makefile b/Doc/html/Makefile
index 5da7cabb7e2806d3e073e033f3d87bd1560317a9..4cd8423df78d76470eb495dc820bdd027ce091ca 100644 (file)
--- 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)