Added wcnew target to run the "wcnew" version of webchecker.

diff --git a/Doc/html/Makefile b/Doc/html/Makefile
index 77c74cb3ccb8bc803c686edfc581614b6ce5c123..fa7e6f50df6ef03e3e93aa17765dd5fc6f911921 100644 (file)
--- a/Doc/html/Makefile
+++ b/Doc/html/Makefile
@@ -15,6 +15,7 @@ TEXINPUTS=$(TOPDIR)/paper-$(PAPER):$(TOPDIR)/texinputs:
 # Where are the various programs?
 PYTHON=           python
 WEBCHECKER=$(PYTHON) $(TOPDIR)/../Tools/webchecker/webchecker.py
+WCNEW=$(PYTHON) $(TOPDIR)/../Tools/webchecker/wcnew.py
 MKAUX=    PAPER=$(PAPER) TEXINPUTS=$(TEXINPUTS) $(TOOLSDIR)/mkdvi.sh --aux
 MKHTML=           PAPER=$(PAPER) $(TOOLSDIR)/mkhtml.sh
 KPSEWHICH= TEXINPUTS=$(TEXINPUTS) kpsewhich tex
@@ -114,6 +115,16 @@ webcheck: all
        $(WEBCHECKER) $(HTMLBASE)/ref/
        $(WEBCHECKER) $(HTMLBASE)/tut/
 
+wcnew: all
+       $(WCNEW) $(HTMLBASE)/api/
+       $(WCNEW) $(HTMLBASE)/doc/
+       $(WCNEW) $(HTMLBASE)/ext/
+       $(WCNEW) -m290000 $(HTMLBASE)/lib/
+       $(WCNEW) $(HTMLBASE)/mac/
+       $(WCNEW) $(HTMLBASE)/ref/
+       $(WCNEW) $(HTMLBASE)/tut/
+
+
 clean:
        rm -rf @webchecker.pickle