diff --git a/Makefile b/Makefile new file mode 100644 index 00000000..4dbd5c5e --- /dev/null +++ b/Makefile @@ -0,0 +1,6 @@ +preprocessor.pdf: preprocessor.tex expr.png expr-sharing.png matrices.png overview.png + pdflatex preprocessor + pdflatex preprocessor + +clean: + rm -f preprocessor.{pdf,toc,aux,log,nav,snm,vrb,out} *~ diff --git a/preprocessor.pdf b/preprocessor.pdf deleted file mode 100644 index d4fd47ab..00000000 Binary files a/preprocessor.pdf and /dev/null differ