include both the GIF and PNG icons in the HTML package

diff --git a/Doc/Makefile b/Doc/Makefile
index 8d8000b6fd9d30034f8327d61f85b5971819424e..852bf50cdcae84b4206147e64933d1413bdaeafd 100644 (file)
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -614,7 +614,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)