SOURCE=prove-transform-random-variable-theorem make: pdflatex $(SOURCE).tex -output-format=pdf make clean clean: rm -rf $(TARGET) *.class *.html *.log *.aux *.out
