SOURCE = proof-of-correctness-pogo make: pdflatex $(SOURCE).tex -output-format=pdf pdflatex $(SOURCE).tex -output-format=pdf make clean clean: rm -rf $(TARGET) *.class *.html *.log *.aux *.out
