2015-10-08 11:42:34 +02:00
|
|
|
all: Konfluenz.pdf Koinduktion_reduktion.pdf Strukturelle_Induktion.pdf Polynomordnung.pdf SystemF.pdf PumpingLemma.pdf
|
2015-10-07 21:10:52 +02:00
|
|
|
|
|
|
|
|
continuous: $(PDF).continuous
|
|
|
|
|
|
2015-10-08 15:06:33 +02:00
|
|
|
clean: cleanup all
|
|
|
|
|
|
2015-10-07 23:39:35 +02:00
|
|
|
cleanup:
|
2015-10-08 11:24:49 +02:00
|
|
|
-rm -f *.aux *.fdb_latexmk *.fls *.log *.pdf
|
2015-10-08 11:20:07 +02:00
|
|
|
single: all
|
2015-10-08 11:42:34 +02:00
|
|
|
-pdftk Polynomordnung.pdf Konfluenz.pdf SystemF.pdf Koinduktion_reduktion.pdf Strukturelle_Induktion.pdf PumpingLemma.pdf cat output ThProgCheatsheet.pdf
|
2015-10-08 11:20:07 +02:00
|
|
|
|
2015-10-07 23:39:35 +02:00
|
|
|
|
2015-10-07 21:10:52 +02:00
|
|
|
%.continuous: %.pdf
|
2015-10-08 15:19:28 +02:00
|
|
|
latexmk -quiet -jobname=$(@:%.continuous=%) -pvc -pdf $(@:%.continuous=%).tex > "\dev0"
|
2015-10-07 21:10:52 +02:00
|
|
|
|
|
|
|
|
%.pdf: %.tex
|
2015-10-08 15:19:28 +02:00
|
|
|
latexmk -quiet -jobname=$(@:%.pdf=%) -pdf $<
|
2015-10-07 21:10:52 +02:00
|
|
|
|
2015-10-08 11:20:07 +02:00
|
|
|
.PHONY: all continuous cleanup single
|
