diff --git a/report/Makefile b/report/Makefile new file mode 100644 index 0000000000000000000000000000000000000000..b3a5329cbd755f10101d02deccbf492e34dd6e31 --- /dev/null +++ b/report/Makefile @@ -0,0 +1,10 @@ +RM=rm -rf + +report: report.pdf + +%.pdf: %.tex + pdflatex $^ + pdflatex $^ + +clean: + $(RM) *.pdf *.aux *.log *.out *.toc *.snm *.nav