golem
/
manualetto-software-libero
9
0
Fork 0
Code Issues Pull Requests Releases 1 Wiki Activity

makefile fixed for git status insertion in release pdf

This commit is contained in:
giomba 2020-05-02 20:19:18 +02:00
parent 6947c4fdf0
commit 8b1d74a57b
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Makefile
View File

@ -12,7 +12,7 @@ booklet: build/main.pdf
build/%.pdf: %.tex $(RASTF) Makefile
@mkdir -p build
@git rev-parse HEAD | dd bs=1 count=10 > build/commit.tex
@if [ -n $(git diff head) ]; then echo " dirty" >> build/commit.tex; fi
@status=$$(git status --porcelain); if test "x$${status}" != x; then echo " dirty" >> build/commit.tex; fi
@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 $<
@pdflatex -output-directory build -synctex=1 -interaction=nonstopmode $< > /dev/null