From ae5ccb3d0fc4dc46fed699767c164bec9f9436e1 Mon Sep 17 00:00:00 2001 From: giuliof Date: Wed, 22 May 2019 11:10:24 +0200 Subject: [PATCH] Missing dist in makefile --- makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/makefile b/makefile index 3450a11..6a869a4 100644 --- a/makefile +++ b/makefile @@ -14,6 +14,7 @@ dist/%.pdf: build/%.pdf build/%.pdf: %.tex $(RASTF) makefile @mkdir -p build + @mkdir -p dist @if [ -t 1 ]; then echo -e "\033[1;33m[Mashup ]\033[0m main.tex"; else echo "Mashup"; fi @pdflatex -output-directory build -synctex=1 -interaction=nonstopmode $< > /dev/null @pdflatex -output-directory build -synctex=1 -interaction=nonstopmode $< > /dev/null