lemma calculation of ends, no proof yet

[topbloke-formulae.git] / Makefile

diff --git a/Makefile b/Makefile
index 3c82b5b7afbb2f5d5bf21797e7c2f5eb73db4c80..06554a21e071aaf9471db79fd1450227f023056c 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -1,6 +1,11 @@
 
+default: article.pdf
+
 article.pdf: article.tex
                pdflatex -halt-on-error $< </dev/null
 
+article.ps: article.pdf
+               pdftops article.pdf article.ps
+
 clean:
        rm -f *.aux *.log *.dvi *.out *.pdf *~