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 2da6fab..613221f 100644
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -279,18 +279,18 @@
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 $@