diff options
Diffstat (limited to 'paper/Makefile')
| -rw-r--r-- | paper/Makefile | 14 |
1 files changed, 13 insertions, 1 deletions
diff --git a/paper/Makefile b/paper/Makefile index 285d184..051e628 100644 --- a/paper/Makefile +++ b/paper/Makefile @@ -12,13 +12,25 @@ DIFF_VERSION ?= v2.0 main_tex ?= ihsm_paper brief_tex ?= ihsm_tech_report +sub_stem ?= cant-touch-this-ihsm-paper VERSION_STRING := $(shell git describe --tags --long --dirty) all: ${main_tex}.pdf ${brief_tex}.pdf +.PHONY: submission-outputs +submission: diff cover-letter ${main_tex}.pdf + cp ${main_tex}.pdf ${sub_stem}-${VERSION_STRING}.pdf + cp ${main_tex}_diff.pdf ${sub_stem}-${VERSION_STRING}-diff.pdf + cp tches-22-01-changes.pdf ${sub_stem}-${VERSION_STRING}-cover-letter.pdf + rm -f ${sub_stem}-${VERSION_STRING}-supplementary.zip + zip -r ${sub_stem}-${VERSION_STRING}-supplementary.zip ${sub_stem}-${VERSION_STRING}-diff.pdf ${sub_stem}-${VERSION_STRING}-cover-letter.pdf + +.PHONY: cover-letter +cover-letter: tches-22-01-changes.pdf + .PHONY: diff -diff: ihsm_paper_diff.pdf +diff: ${main_tex}_diff.pdf ihsm_paper_diff.tex: ihsm_paper.tex ihsm.bib python3 diffinator.py $^ $(DIFF_VERSION) > $@ |