1all: 2 pdflatex HOL-interaction.tex 3 pdflatex HOL-interaction.tex 4 5clean: 6 rm -f *.log *.aux HOL-interaction.pdf 7 8