From 803f97a5cf742b9796055f24c39a8d16f9a613a5 Mon Sep 17 00:00:00 2001 From: Sheppy Date: Tue, 3 Oct 2017 12:41:27 +0200 Subject: [PATCH] weil anna rumgeweint hat :P --- ThProg/Makefile | 9 ++++----- 1 file changed, 4 insertions(+), 5 deletions(-) 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