diff options
Diffstat (limited to 'paper/Makefile')
| -rw-r--r-- | paper/Makefile | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/paper/Makefile b/paper/Makefile index 43a49c5..1d417d4 100644 --- a/paper/Makefile +++ b/paper/Makefile @@ -19,6 +19,11 @@ all: ${main_tex}.pdf biber $* pdflatex -shell-escape $< +.PHONY: once +once: safety-reset-paper.tex safety-reset.bib version.tex + biber safety-reset-paper + pdflatex -shell-escape $< + version.tex: ${main_tex}.tex safety-reset.bib echo "${VERSION_STRING}" > $@ |