diff options
Diffstat (limited to 'installfest2017/makefile')
-rw-r--r-- | installfest2017/makefile | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/installfest2017/makefile b/installfest2017/makefile deleted file mode 100644 index 9ab8f60..0000000 --- a/installfest2017/makefile +++ /dev/null @@ -1,10 +0,0 @@ -FILE=pres - -$(FILE).pdf: $(FILE).tex $(patsubst %.svg,%.pdf,$(wildcard *.svg)) - pdflatex -shell-escape $< - -%.pdf: %.svg - inkscape -D -z --file=$< --export-pdf=$@ --export-latex - -clean: - ls | grep -v -E "($(FILE).tex|makefile|scheme|svg|png|eps)$$" | xargs rm -rf |