diff options
| author | Loic Guegan <manzerbredes@mailbox.org> | 2022-09-12 11:28:20 +0200 |
|---|---|---|
| committer | Loic Guegan <manzerbredes@mailbox.org> | 2022-09-12 11:28:20 +0200 |
| commit | c75fbe854de2a0a881045fbd19a79eb8dcc898e2 (patch) | |
| tree | b145a1cdac89417de688a756a9cd83ffd57f1392 /manual/Makefile | |
| parent | 99f195105adf709799074b727cb06cc8b0558f9f (diff) | |
Update manual
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 |