Remove zero-byte gif files from generated html docs

diff --git a/Doc/Makefile b/Doc/Makefile
index a17ad811b4d0419d8f69d50839d37d5543f01f0e..b401a9bce6561f0b79369b79d422b0d6df1b8fc9 100644 (file)
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -620,6 +620,7 @@ HTMLPKGFILES=*.html */*.css */*.html */*.gif */*.png */*.txt
 
 html-$(RELEASE).tar:   $(ALLHTMLFILES) $(HTMLCSSFILES)
        mkdir Python-Docs-$(RELEASE)
+       -find html -name '*.gif' -size 0 | xargs rm -f
        cd html && tar cf ../temp.tar $(HTMLPKGFILES)
        cd Python-Docs-$(RELEASE) && tar xf ../temp.tar
        rm temp.tar