:Add cptt Makefile

This will also cause it to be recognized by the site build.
2017-01-22 03:08:40 -05:00 · 2017-01-22 03:08:40 -05:00 · abe7e47b22
parent 059adf4fbe
commit abe7e47b22
2 changed files with 19 additions and 0 deletions
--- a/.gitignore
+++ b/.gitignore
@ -1,3 +1,5 @@
 *.pdf
+*.dvi
 *.log
 *.aux
+
--- a/17
+++ b/17
@ -0,0 +1,17 @@
+# This file is under the public domain.
+
+.PHONY: default pdf dvi clean
+
+default: s428.pdf s428.dvi
+
+%.pdf: %.tex
+	pdflatex $<
+	pdflatex $<
+
+%.dvi: %.tex
+	latex $<
+	latex $<
+
+clean:
+	rm -f *.pdf *.dvi *.aux *.log
+