diff options
| -rw-r--r-- | Doc/Makefile | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/Doc/Makefile b/Doc/Makefile index 49c1d5b..88991ee 100644 --- a/Doc/Makefile +++ b/Doc/Makefile @@ -202,11 +202,7 @@ postscript-$(PAPER)-$(RELEASE).tgz: ps (cd paper-$(PAPER); $(MAKE) README) (cd paper-$(PAPER); tar cf - *.ps README) | gzip -9 >$@ -html-$(RELEASE).tgz: $(HTMLDIR)/api/api.html $(HTMLDIR)/ext/ext.html \ - $(HTMLDIR)/lib/lib.html $(HTMLDIR)/mac/mac.html \ - $(HTMLDIR)/ref/ref.html $(HTMLDIR)/tut/tut.html - -html-$(RELEASE).tgz: +html-$(RELEASE).tgz: html (cd $(HTMLDIR); tar cf - index.html ???/???.css ???/*.html */*.gif) \ | gzip -9 >$@ |