From 5b75f7d19b357051c271c38b2544d58489d84253 Mon Sep 17 00:00:00 2001 From: Matthias Klose Date: Wed, 18 Aug 2004 22:17:44 +0000 Subject: Remove zero-byte gif files from generated html docs --- Doc/Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/Doc/Makefile b/Doc/Makefile index a17ad81..b401a9b 100644 --- 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 -- cgit v0.12