doc:  newdef.tex

newdef.tex: ../src/newdef.nw
	noweave -latex+html -index ../src/newdef.nw > $@.tmp
	addcopyright $@.tmp > $@
	@rm -f $@.tmp

clean:
	rm -f *.tex *.dvi *.bak *.log *.aux *.toc

