Warning: this is an htmlized version!
The original is across this link,
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)