From 5551c6485bdbd1695c4813c7afd20e0beeddbde3 Mon Sep 17 00:00:00 2001 From: giuliof Date: Tue, 16 Feb 2021 17:48:24 +0100 Subject: [PATCH] Makefile crea cartella dist --- makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/makefile b/makefile index 819b4b0..83af35f 100644 --- a/makefile +++ b/makefile @@ -35,7 +35,7 @@ help: @echo "Type make dist/yourfile.pdf" dist/%.pdf: %.tex $(RASTF) $(TEX) $(PDF) makefile - @mkdir -p build + @mkdir -p build 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