diff options
| author | Loic Guegan <manzerbredes@mailbox.org> | 2022-09-14 17:47:55 +0200 |
|---|---|---|
| committer | Loic Guegan <manzerbredes@mailbox.org> | 2022-09-14 17:47:55 +0200 |
| commit | 11c5ffcdc72b8d142088ace2729a8047fafe3da0 (patch) | |
| tree | 9649b2030a95e617d9aeed9be30787b3a4b04d67 /manual/Makefile | |
| parent | 6e7582b8c07c5ab51d31565e4efb8924cde03917 (diff) | |
Update manual
Diffstat (limited to 'manual/Makefile')
| -rw-r--r-- | manual/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/manual/Makefile b/manual/Makefile index 6d10795..a968430 100644 --- a/manual/Makefile +++ b/manual/Makefile @@ -3,6 +3,8 @@ manual.pdf: manual.tex @grep "__version__.*=" ../esds/__init__.py|grep -o "\".*\""|tr -d "\"" > version + @rm -f manual.aux + pdflatex -shell-escape manual pdflatex -shell-escape manual clean: |