Remove zero-byte gif files from generated html docs
diff --git a/Doc/Makefile b/Doc/Makefile
index a17ad81..b401a9b 100644
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -620,6 +620,7 @@
 
 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