include both the GIF and PNG icons in the HTML package

diff --git a/Doc/Makefile b/Doc/Makefile
index 38c816317aee589d1fab7dd489f7d0cf3cfd141a..1cd797dc45bd70e498b9fb4fd476170485815218 100644 (file)
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -612,7 +612,7 @@ postscript-$(PAPER)-$(RELEASE).zip: $(PSFILES) paper-$(PAPER)/README
        zip -q -r -9 $@ Python-Docs-$(RELEASE)
        rm -r Python-Docs-$(RELEASE)
 
-HTMLPKGFILES=*.html */*.css */*.html */*.gif */*.txt
+HTMLPKGFILES=*.html */*.css */*.html */*.gif */*.png */*.txt
 
 html-$(RELEASE).tar:   $(ALLHTMLFILES) $(HTMLCSSFILES)
        mkdir Python-Docs-$(RELEASE)