OTT=ott
PDFLATEX=pdflatex

iJAM.pdf: iJAM.tex iJAM_included.tex
	$(PDFLATEX) iJAM.tex

iJAM_included.tex iJAM.thy: lj_common.ott ljam_commoni.ott ljp_basei.ott \
                            ljm_basei.ott ljami.ott
	$(OTT) -tex_wrap false -isabelle_inductive false \
	       -o iJAM_included.tex -o iJAM.thy -merge true \
               lj_common.ott ljam_commoni.ott ljp_basei.ott \
	       ljm_basei.ott ljami.ott

.PHONY: clean

clean:
	rm -f iJAM.{aux,log,pdf,thy} iJAM_included.{aux,tex}