diff --git a/compile.sh b/compile.sh new file mode 100755 index 0000000..eff0000 --- /dev/null +++ b/compile.sh @@ -0,0 +1,7 @@ +#!/bin/sh + +# Pour compiler tous les fichiers sources du dépot: + +find . -name "main.tex" -execdir latexmk -pdf -e '$latex=q/latex %O -shell-escape %S/' {} \; +#clean up : +rm -f **/*.aux **/*.log