Constrain a wildcard a little more.
diff --git a/Doc/Makefile b/Doc/Makefile
index 4c4e009..def95d5 100644
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -217,7 +217,7 @@
 	(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: