Searched refs:WEBTEX (Results 1 – 1 of 1) sorted by relevance
64 WEBTEX = $(JWEB:.w=.tex) macro79 isomorphism-impl-v3.dvi: $(DOT) $(EPS_GEN) $(WEBTEX)81 isomorphism-impl-v3.pdf: $(EPS_GEN) $(PDFPICT) $(WEBTEX)