diff options
Diffstat (limited to 'manual/Makefile')
| -rw-r--r-- | manual/Makefile | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/manual/Makefile b/manual/Makefile index f07674c..6d10795 100644 --- a/manual/Makefile +++ b/manual/Makefile @@ -2,4 +2,10 @@ manual.pdf: manual.tex + @grep "__version__.*=" ../esds/__init__.py|grep -o "\".*\""|tr -d "\"" > version pdflatex -shell-escape manual + +clean: + - rm manual.pdf + +.PHONY: clean |