| commit | 5b75f7d19b357051c271c38b2544d58489d84253 | [log] [tgz] |
|---|---|---|
| author | Matthias Klose <doko@ubuntu.com> | Wed Aug 18 22:17:44 2004 +0000 |
| committer | Matthias Klose <doko@ubuntu.com> | Wed Aug 18 22:17:44 2004 +0000 |
| tree | 23b71c74f7597cb79cccaa2f78290f01d7eb754c | |
| parent | babc5ec630ac380c6d62bf6c31fe71ee11e01593 [diff] |
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