strategy: move traversal proofs inline

[topbloke-formulae.git] / Makefile

diff --git a/Makefile b/Makefile
index 88cfc3b873c973fdd36bab1232b5e6de80edb954..7a4f7d4f0dec6fe44aba5ee66feee96a205859e4 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -1,7 +1,7 @@
 
 SRCS := $(wildcard *.tex)
 
-default: final.pdf
+default: final.pdf final.ps
 
 once:          revid.inc
                pdflatex -halt-on-error article.tex </dev/null