diff options
Diffstat (limited to 'Doc/html/Makefile')
| -rw-r--r-- | Doc/html/Makefile | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/Doc/html/Makefile b/Doc/html/Makefile index 77c74cb..fa7e6f5 100644 --- 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 |