diff --git a/Vorlesungen/ThProg/Makefile b/Vorlesungen/ThProg/Makefile index 5665b93..36a1b27 100644 --- a/Vorlesungen/ThProg/Makefile +++ b/Vorlesungen/ThProg/Makefile @@ -3,9 +3,9 @@ all: Konfluenz.pdf Koinduktion_reduktion.pdf Strukturelle_Induktion.pdf Polynomo continuous: $(PDF).continuous cleanup: - -rm -f *.aux *.fdb_latexmk *.fls *.log + -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 newfile.pdf + -pdftk Polynomordnung.pdf Konfluenz.pdf SystemF.pdf Koinduktion_reduktion.pdf Strukturelle_Induktion.pdf cat output ThProgCheatsheet.pdf %.continuous: %.pdf diff --git a/Vorlesungen/ThProg/SS14_Spickzettel.pdf b/Vorlesungen/ThProg/Media/SS14_Spickzettel.pdf similarity index 100% rename from Vorlesungen/ThProg/SS14_Spickzettel.pdf rename to Vorlesungen/ThProg/Media/SS14_Spickzettel.pdf