Makefilen und gitignore

Public/thprog/.gitignore

@@ -0,0 +1,10 @@
+*.aux
+*.toc
+*.out
+*.pdf
+*.log
+*.fls
+*.fdb_latexmk
+.*.swp
+*id_rsa*
+*.gz

Public/thprog/Makefile

@@ -0,0 +1,22 @@
+PDF = Konfluenz Koinduktion_reduktion Struckturelle_Induktion Polynomordnung SystemF
+
+all: $(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