File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -15,6 +15,7 @@ TEXINPUTS=$(TOPDIR)/paper-$(PAPER):$(TOPDIR)/texinputs:
1515# Where are the various programs?
1616PYTHON = python
1717WEBCHECKER =$(PYTHON ) $(TOPDIR ) /../Tools/webchecker/webchecker.py
18+ WCNEW =$(PYTHON ) $(TOPDIR ) /../Tools/webchecker/wcnew.py
1819MKAUX = PAPER=$(PAPER ) TEXINPUTS=$(TEXINPUTS ) $(TOOLSDIR ) /mkdvi.sh --aux
1920MKHTML = PAPER=$(PAPER ) $(TOOLSDIR ) /mkhtml.sh
2021KPSEWHICH = TEXINPUTS=$(TEXINPUTS ) kpsewhich tex
@@ -114,6 +115,16 @@ webcheck: all
114115 $(WEBCHECKER ) $(HTMLBASE ) /ref/
115116 $(WEBCHECKER ) $(HTMLBASE ) /tut/
116117
118+ wcnew : all
119+ $(WCNEW ) $(HTMLBASE ) /api/
120+ $(WCNEW ) $(HTMLBASE ) /doc/
121+ $(WCNEW ) $(HTMLBASE ) /ext/
122+ $(WCNEW ) -m290000 $(HTMLBASE ) /lib/
123+ $(WCNEW ) $(HTMLBASE ) /mac/
124+ $(WCNEW ) $(HTMLBASE ) /ref/
125+ $(WCNEW ) $(HTMLBASE ) /tut/
126+
127+
117128clean :
118129 rm -rf @webchecker.pickle
119130
You can’t perform that action at this time.
0 commit comments