diff options
| author | jaseg <git@jaseg.de> | 2021-07-13 15:28:55 +0200 |
|---|---|---|
| committer | jaseg <git@jaseg.de> | 2021-07-13 15:28:55 +0200 |
| commit | f08eea06eed9a1238eefdcaacdcf30831cc3d5cf (patch) | |
| tree | 39d84cefca909634136a667dd9f9aaa0b49fe735 /paper/Makefile | |
| parent | 61f4b840bc24da16f8d81a4c6282e6b5aa7e0d92 (diff) | |
| download | ihsm-f08eea06eed9a1238eefdcaacdcf30831cc3d5cf.tar.gz ihsm-f08eea06eed9a1238eefdcaacdcf30831cc3d5cf.tar.bz2 ihsm-f08eea06eed9a1238eefdcaacdcf30831cc3d5cf.zip | |
Some more minor changes for submission
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) > $@ |