From abe7e47b228c9d90f07883a5d5b0aa93d9cfac3b Mon Sep 17 00:00:00 2001 From: Mike Gerwitz Date: Sun, 22 Jan 2017 03:08:40 -0500 Subject: [PATCH] :Add cptt Makefile This will also cause it to be recognized by the site build. --- .gitignore | 2 ++ Makefile | 17 +++++++++++++++++ 2 files changed, 19 insertions(+) create mode 100644 Makefile diff --git a/.gitignore b/.gitignore index 70915d3..3c457f1 100644 --- a/.gitignore +++ b/.gitignore @@ -1,3 +1,5 @@ *.pdf +*.dvi *.log *.aux + diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..add07ab --- /dev/null +++ b/Makefile @@ -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 +