OTT=ott
PDFLATEX=pdflatex

lj.pdf: lj.tex lj_included.tex
	$(PDFLATEX) lj.tex

lj_included.tex lj.thy: lj_common.ott lj_base.ott lj.ott
	$(OTT) -tex_wrap false -isabelle_inductive false \
	       -merge true -o lj_included.tex -o lj.thy \
               lj_common.ott lj_base.ott lj.ott

.PHONY: clean

clean:
	rm -f lj.{aux,log,pdf,thy} lj_included.{aux,tex}