diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..83fcac9 --- /dev/null +++ b/Makefile @@ -0,0 +1,14 @@ +TARGET=summary.pdf $(subst .tex,.pdf,$(wildcard discussion-*.tex)) + +all: $(TARGET) + +%.pdf: %.tex $(shell ls sum-*.tex) + pdflatex $< + pdflatex $< + +clean: + rm -f *.aux *.glo *.idx *fdb_latexmk *.fls *.log *.toc *.ist *.acn *.acr *.alg *.bbl *.blg *.dvi *.glg *.gls *.ilg *.ind *.lof *.lot *.maf *.mtc *.mtcl *.out *.syntex.gz $(TARGET) + +.PHONY: clean + + |