Constrain a wildcard a little more.

diff --git a/Doc/Makefile b/Doc/Makefile
index 4c4e009a95074568f4b8d07008c3d8ac9694a1f1..def95d5b4c894f1c8aabb6f6cde2e926c22483e5 100644 (file)
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -217,7 +217,7 @@ postscript-$(PAPER)-$(RELEASE).tgz: ps
        (cd paper-$(PAPER); tar cf - *.ps README) | gzip -9 >$@
 
 html-$(RELEASE).tgz:   html
-       (cd $(HTMLDIR); tar cf - index.html ???/???.css ???/*.html */*.gif) \
+       (cd $(HTMLDIR); tar cf - index.html ???/???.css ???/*.html ???/*.gif) \
                | gzip -9 >$@
 
 # convenience targets: