Rename tp1 to main
This commit is contained in:
parent
dd374f30f1
commit
db319ad89e
2 changed files with 8 additions and 7 deletions
|
@ -1,13 +1,14 @@
|
||||||
|
filename=$(shell basename $(shell pwd))
|
||||||
timestamp=$(shell date +%Y-%m-%d_%H:%M)
|
timestamp=$(shell date +%Y-%m-%d_%H:%M)
|
||||||
|
|
||||||
all: tp1
|
all: snapshot
|
||||||
|
|
||||||
tp1: tp1.tex
|
snapshot: main.tex
|
||||||
@latexmk -pdf tp1.tex
|
@latexmk -pdf main.tex
|
||||||
@if ! cmp --silent build/tp1.pdf tp1_*.pdf; then \
|
@if ! cmp --silent build/main.pdf ${filename}_*.pdf; then \
|
||||||
touch tp1_tmp.pdf; \
|
touch ${filename}_tmp.pdf; \
|
||||||
rm tp1*.pdf; \
|
rm ${filename}*.pdf; \
|
||||||
cp build/tp1.pdf tp1_${timestamp}.pdf; \
|
cp build/main.pdf ${filename}_${timestamp}.pdf; \
|
||||||
echo "Updated"; \
|
echo "Updated"; \
|
||||||
fi
|
fi
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue