w11

[itlast1617.git] / week10 / Makefile

diff --git a/week10/Makefile b/week10/Makefile
new file mode 100644 (file)
index 0000000..3cbb9f5
--- /dev/null
+++ b/week10/Makefile
@@ -0,0 +1,12 @@
+DOCUMENTS:=w10
+PDFLATEXFLAGS:=-halt-on-error
+PDFLATEX:=pdflatex $(PDFLATEXFLAGS)
+
+all: $(addsuffix .pdf,$(DOCUMENTS))
+
+%.pdf: %.tex
+       $(PDFLATEX) $<
+       $(PDFLATEX) $<
+
+clean:
+       $(RM) -v $(addprefix $(DOCUMENTS),.pdf .log .aux)