From 3c92a4e7c3f69589ab217fcbd9d93d7e5d94a2ea Mon Sep 17 00:00:00 2001 From: Sheppy Date: Wed, 7 Oct 2015 18:14:24 +0200 Subject: [PATCH] makefilefix --- Public/thprog/Makefile | 15 ++------------- 1 file changed, 2 insertions(+), 13 deletions(-) diff --git a/Public/thprog/Makefile b/Public/thprog/Makefile index 0ac1fcd..89fe154 100644 --- a/Public/thprog/Makefile +++ b/Public/thprog/Makefile @@ -1,22 +1,11 @@ -PDF = Konfluenz Koinduktion_reduktion Struckturelle_Induktion Polynomordnung SystemF - -all: $(PDF) +all: Konfluenz.pdf Koinduktion_reduktion.pdf Struckturelle_Induktion.pdf Polynomordnung.pdf SystemF.pdf continuous: $(PDF).continuous %.continuous: %.pdf latexmk -jobname=$(@:%.continuous=%) -pvc -pdf $(@:%.continuous=%).tex -$(PDF): $(PDF).pdf - %.pdf: %.tex latexmk -jobname=$(@:%.pdf=%) -pdf $< -clean: - latexmk -c -f $(PDF).tex - -distclean: - latexmk -C -f $(PDF).tex - rm -f $(PDF).pdf - -.PHONY: all clean distclean $(PDF) continuous +.PHONY: all continuous