Do not rebuild html-$(RELEASE).tar every time we need to use it.

diff --git a/Doc/Makefile b/Doc/Makefile
index fce08488f6f2c756fff017f870a7507293560487..1e51903d8748f6ed37229ae99d8aeb7eb92f0118 100644 (file)
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -367,7 +367,7 @@ postscript-$(PAPER)-$(RELEASE).zip: $(PSFILES) paper-$(PAPER)/README
        rm -f $@
        cd paper-$(PAPER) && zip -q -9 ../$@ *.ps README
 
-html-$(RELEASE).tar:   html
+html-$(RELEASE).tar:   $(ALLHTMLFILES)
        cd $(HTMLDIR) && \
                tar cf ../html-$(RELEASE).tar *.html */*.css */*.html \
                                              */*.gif */*.txt