diff options
Diffstat (limited to 'web/noweb/contrib/jobling/Makefile')
-rw-r--r-- | web/noweb/contrib/jobling/Makefile | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/web/noweb/contrib/jobling/Makefile b/web/noweb/contrib/jobling/Makefile new file mode 100644 index 0000000000..5f91558927 --- /dev/null +++ b/web/noweb/contrib/jobling/Makefile @@ -0,0 +1,34 @@ +PROG = correct-refs +DOCSRC = $(PROG).tex +PROGSRC = $(PROG).csh +SCRIPTS = list-anchors.awk awk-scripts.awk + +all: correct-refs.tex correct-refs.csh all-scripts + +correct-refs.tex: correct-refs.nw + noweave -delay -index $< > $@ + +correct-refs.csh: correct-refs.nw + notangle -Rcorrect-refs.csh $< | cpif $@ + chmod +x $@ + +all-scripts: correct-refs.nw + notangle -Rlist-anchors.awk $< | cpif list-anchors.awk + notangle -Rawk-scripts.awk $< | cpif awk-scripts.awk + touch all-scripts + +install: + cp correct-refs.csh $(HOME)/bin + cp *.awk $(HOME)/lib + +tidy: + -rm *~ *% *.bak *.log *.blg + +clean: tidy + -rm *.ps *.dvi *.toc *.aux *.bbl *.dep $(PROG).shar + +realclean: clean + -rm $(DOCSRC) $(PROGSRC) $(SCRIPTS) + +shar: + shar README Makefile $(PROG).nw > $(PROG).shar |