latexandmore/Vorlesungen/ThProg/Makefile
2015-10-08 11:24:49 +02:00

18 lines
529 B
Makefile

all: Konfluenz.pdf Koinduktion_reduktion.pdf Strukturelle_Induktion.pdf Polynomordnung.pdf SystemF.pdf
continuous: $(PDF).continuous
cleanup:
-rm -f *.aux *.fdb_latexmk *.fls *.log *.pdf
single: all
-pdftk Polynomordnung.pdf Konfluenz.pdf SystemF.pdf Koinduktion_reduktion.pdf Strukturelle_Induktion.pdf cat output ThProgCheatsheet.pdf
%.continuous: %.pdf
latexmk -jobname=$(@:%.continuous=%) -pvc -pdf $(@:%.continuous=%).tex
%.pdf: %.tex
latexmk -jobname=$(@:%.pdf=%) -pdf $<
.PHONY: all continuous cleanup single