Rename pwsh exercice
This commit is contained in:
parent
0294e0d310
commit
01b1b888e9
3 changed files with 7 additions and 7 deletions
|
@ -1,14 +1,14 @@
|
|||
filename=$(shell basename $(shell pwd))
|
||||
timestamp=$(shell date +%Y-%m-%d_%H:%M)
|
||||
|
||||
all: exo_pwsh
|
||||
all: exercice
|
||||
|
||||
exo_pwsh: exo_pwsh.tex
|
||||
@latexmk -pdf exo_pwsh.tex
|
||||
@if ! cmp --silent build/exo_pwsh.pdf exo_pwsh_*.pdf; then \
|
||||
touch exo_pwsh_tmp.pdf; \
|
||||
rm exo_pwsh*.pdf; \
|
||||
cp build/exo_pwsh.pdf exo_pwsh_${timestamp}.pdf; \
|
||||
exercice: exercice.tex
|
||||
@latexmk -pdf exercice.tex
|
||||
@if ! cmp --silent build/exercice.pdf exercice_${filename}*.pdf; then \
|
||||
touch exercice_${filename}_tmp.pdf; \
|
||||
rm exercice*.pdf; \
|
||||
cp build/exercice.pdf exercice_${filename}_${timestamp}.pdf; \
|
||||
echo "Updated"; \
|
||||
fi
|
||||
|
||||
|
|
Loading…
Reference in a new issue