OTT=ott
PDFLATEX=pdflatex

ljam.pdf: ljam.tex ljam_included.tex
	$(PDFLATEX) ljam.tex

ljam_included.tex ljam.thy: lj_common.ott ljam_common.ott ljp_base.ott \
                            ljm_base.ott ljam.ott
	$(OTT) -tex_wrap false -isabelle_inductive false \
	       -o ljam_included.tex -o ljam.thy -merge true \
               lj_common.ott ljam_common.ott ljp_base.ott \
	       ljm_base.ott ljam.ott

.PHONY: clean

clean:
	rm -f ljam.{aux,log,pdf,thy} ljam_included.{aux,tex}