Remove zero-byte gif files from generated html docs

doko42 · doko42 · commit 5b75f7d19b35 · 2004-08-18T22:17:44.000Z
diff --git 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
