diff --git a/ThProg/Makefile b/ThProg/Makefile index 75f29bc..d2ee4d9 100644 --- a/ThProg/Makefile +++ b/ThProg/Makefile @@ -1,3 +1,5 @@ +.PHONY: all continuous cleanup single clean rmpdf + all: single @-pdfunite Polynomordnung.pdf Konfluenz.pdf SystemF.pdf Koinduktion_reduktion.pdf Strukturelle_Induktion.pdf PumpingLemma.pdf ThProgCheatsheet.pdf @@ -18,5 +20,3 @@ cleanup: %.pdf: %.tex @latexmk -quiet -jobname=$(@:%.pdf=%) -pdf -halt-on-error $< 1>/dev/null - -.PHONY: all continuous cleanup single clean rmpdf