When building the HTML packages, make sure we pick up all the HTML files

at the top level of the tree.

diff --git a/Doc/Makefile b/Doc/Makefile
index 2da6fab37a6ca8018447c9aa0ea6df09ad3f9605..613221f429f894908cc96dc4764bc12129e618f7 100644 (file)
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -279,18 +279,18 @@ postscript-$(PAPER)-$(RELEASE).zip: ps
 
 html-$(RELEASE).tgz:   html
        (cd $(HTMLDIR); \
-               tar cf - *index.html */*.css */*.html */*.gif) \
+               tar cf - *.html */*.css */*.html */*.gif) \
                | gzip -9 >$@
 
 html-$(RELEASE).tar.bz2:       html
        (cd $(HTMLDIR); \
-               tar cf - *index.html */*.css */*.html */*.gif) \
+               tar cf - *.html */*.css */*.html */*.gif) \
                | bzip2 -9 >$@
 
 html-$(RELEASE).zip:   html
        rm -f $@
        (cd $(HTMLDIR); \
-               zip -q -9 ../$@ *index.html */*.css */*.html */*.gif)
+               zip -q -9 ../$@ *.html */*.css */*.html */*.gif)
 
 longhtml-$(RELEASE).zip:       longhtml
        rm -f $@