diff options
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: |