diff --git a/IDB/Makefile b/IDB/Makefile new file mode 100644 index 0000000..ac19125 --- /dev/null +++ b/IDB/Makefile @@ -0,0 +1,19 @@ +all: Braindump_SS16.pdf + +continuous: $(PDF).continuous + +clean: cleanup rmpdf all + +rmpdf: + @-rm -f *.pdf + +cleanup: + @-rm -f *.aux *.fdb_latexmk *.fls *.log + +%.continuous: %.pdf + @latexmk -quiet -jobname=$(@:%.continuous=%) -pvc -pdf $(@:%.continuous=%).tex + +%.pdf: %.tex + @latexmk -quiet -jobname=$(@:%.pdf=%) -pdf -halt-on-error $< 1>/dev/null + +.PHONY: all continuous cleanup single clean rmpdf