Warning: this is an htmlized version!
The original is here, and the conversion rules are here. |
DEDNATLUA = lua $(HOME)/LUA/inc.lua -f $(HOME)/LUA/dednat.lua DEDNATLUA_TATSUTA = $(DEDNATLUA) 'tatsuta(arg[2],arg[3])' DEDNATLUA_BUSS = $(DEDNATLUA) 'buss(arg[2],arg[3])' DEDNAT3 = lua50 dednat3.lua TEXFILES = bussproofs.sty proof.edrx.sty example.tex LUAFILES = inc.lua dednat.lua OTHERTGZFILES = Makefile README example_tex.png example_dvi.png VERSION = 0.01 TARGZ = dednat-$(VERSION).tar.gz AUTOFILES = example.dnt example.log example.aux example.dvi demo: example.dvi clean: rm -fv $(AUTOFILES) %.dnt: %.tex $(DEDNAT3) $< | tee $@ # was: $(DEDNAT3) $< > $@ # was: $(DEDNATLUA_TATSUTA) $< $@ example.dvi: example.dnt example.tex dednat3.lua diagxy.lua latex example.tex .tar.gz $(TARGZ): tar -cvzf $(TARGZ) $(LUAFILES) $(TEXFILES) $(OTHERTGZFILES)