diff --git a/ThProg/Makefile b/ThProg/Makefile index c44057c..75f29bc 100644 --- a/ThProg/Makefile +++ b/ThProg/Makefile @@ -1,4 +1,7 @@ -all: Konfluenz.pdf Koinduktion_reduktion.pdf Strukturelle_Induktion.pdf Polynomordnung.pdf SystemF.pdf PumpingLemma.pdf +all: single + @-pdfunite Polynomordnung.pdf Konfluenz.pdf SystemF.pdf Koinduktion_reduktion.pdf Strukturelle_Induktion.pdf PumpingLemma.pdf ThProgCheatsheet.pdf + +single: Konfluenz.pdf Koinduktion_reduktion.pdf Strukturelle_Induktion.pdf Polynomordnung.pdf SystemF.pdf PumpingLemma.pdf continuous: $(PDF).continuous @@ -10,10 +13,6 @@ rmpdf: cleanup: @-rm -f *.aux *.fdb_latexmk *.fls *.log -single: all - @-pdfunite Polynomordnung.pdf Konfluenz.pdf SystemF.pdf Koinduktion_reduktion.pdf Strukturelle_Induktion.pdf PumpingLemma.pdf ThProgCheatsheet.pdf - - %.continuous: %.pdf @latexmk -quiet -jobname=$(@:%.continuous=%) -pvc -pdf $(@:%.continuous=%).tex