diff options
| -rw-r--r-- | Doc/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
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 |