default: jadetex.fmt jadetexpdf.fmt 

basic: jadetex.ltx
	tex jadetex.ins

jadetex.fmt: basic
	tex -ini "&latex" jadetex.ini

jadetexpdf.fmt: basic
	pdftex -ini "&pdflatex" jadetexpdf.ini

install: jadetex.fmt jadetexpdf.fmt
	(TT=`kpsewhich -expand-var '$$TEXMFMAIN'`;cp jadetexpdf.fmt $$TT/web2c)
	(TT=`kpsewhich -expand-var '$$TEXMFMAIN'`;cp jadetex.fmt $$TT/web2c)
	(TT=`kpsewhich -expand-var '$$TEXMFMAIN'`;\
	-mkdir $$TT/tex/jadetex ; \
	cp dsssl.def isoents.tex jadetex.ltx $$TT/tex/jadetex)

clean:
	-rm jade*.fmt *.log *.aux *.idx dsssl.def isoents.tex jadetex.ltx
	-rm *.toc

test:
	jade -t tex -d art.dsl test.sgm
	jadetexpdf test

distrib:
	(cd ..; zip -r jadetex jadetex/cooked jadetex/*.dtx jadetex/*.ins \
	jadetex/makefile jadetex/*ini)

jadetex.ltx: jadetex.dtx
