pure_lambda_calculus.pdf: pure_lambda_calculus.tex
	pdflatex -interaction=batchmode pure_lambda_calculus.tex
	makeindex pure_lambda_calculus.idx
	pdflatex -interaction=batchmode pure_lambda_calculus.tex
	make clean

.PHONY:clean
clean:
	rm -f pure_lambda_calculus.aux \
	      pure_lambda_calculus.idx \
	      pure_lambda_calculus.ilg \
	      pure_lambda_calculus.ind \
	      pure_lambda_calculus.log \
	      pure_lambda_calculus.out \
	      pure_lambda_calculus.toc

.PHONY:distclean
distclean: clean
	rm -f pure_lambda_calculus.pdf
