Fix the HTML tarball target to generate the HTML if needed instead of
bombing.
diff --git a/Doc/Makefile b/Doc/Makefile
index 49c1d5b..88991ee 100644
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -202,11 +202,7 @@
(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 >$@