diff options
Diffstat (limited to 'paper/Makefile')
| -rw-r--r-- | paper/Makefile | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/paper/Makefile b/paper/Makefile index 8a4bc75..1118e71 100644 --- a/paper/Makefile +++ b/paper/Makefile @@ -8,19 +8,19 @@ SHELL := bash MAKEFLAGS += --warn-undefined-variables MAKEFLAGS += --no-builtin-rules -main_tex ?= rotohsm_paper -brief_tex ?= rotohsm_tech_report +main_tex ?= ihsm_paper +brief_tex ?= ihsm_tech_report VERSION_STRING := $(shell git describe --tags --long --dirty) all: ${main_tex}.pdf ${brief_tex}.pdf -%.pdf: %.tex rotohsm.bib version.tex +%.pdf: %.tex ihsm.bib version.tex pdflatex -shell-escape $< biber $* pdflatex -shell-escape $< -version.tex: ${main_tex}.tex ${brief_tex}.tex rotohsm.bib +version.tex: ${main_tex}.tex ${brief_tex}.tex ihsm.bib echo "${VERSION_STRING}" > $@ resources/%.pdf: $(LAB_PATH)/%.ipynb |