]> wagnertech.de Git - projects.git/commitdiff
posaune
authorMichael Wagner <info@wagnertech.de>
Tue, 22 Mar 2016 13:36:05 +0000 (14:36 +0100)
committerMichael Wagner <info@wagnertech.de>
Tue, 22 Mar 2016 13:36:05 +0000 (14:36 +0100)
tools/make/makefile

index 60e6780204518554e45475597cddb23b05c3957b..9fd2c445b889e625be36bdfdb4b0bcf53f1d443e 100644 (file)
@@ -74,3 +74,9 @@ clean:
        if [ -e $(project).zip ]; then rm $(project).zip; fi
        if [ -e $(project) ]; then rm -rf $(project); fi
 
+#-----------------------------------------------------------------
+# Build-Regeln
+#-----------------------------------------------------------------
+%.pdf : %.tex
+       pdflatex $<
+