diff options
| author | jaseg <git@jaseg.de> | 2021-10-07 19:34:36 +0200 |
|---|---|---|
| committer | jaseg <git@jaseg.de> | 2021-10-07 20:31:44 +0200 |
| commit | 844fc1b96c9937da374dabc76d4b974672cf9c56 (patch) | |
| tree | d7570814809fd02860887bebaf139ce3af01f37d /paper/Makefile | |
| parent | 9c10f393bc3d33179e070950ac00ec231f8a6847 (diff) | |
| download | ihsm-844fc1b96c9937da374dabc76d4b974672cf9c56.tar.gz ihsm-844fc1b96c9937da374dabc76d4b974672cf9c56.tar.bz2 ihsm-844fc1b96c9937da374dabc76d4b974672cf9c56.zip | |
Changes re: shepherding 21-10-01
* Extend use cases
* Add maintenance/repair section
Diffstat (limited to 'paper/Makefile')
| -rw-r--r-- | paper/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/paper/Makefile b/paper/Makefile index 271964f..98f907e 100644 --- a/paper/Makefile +++ b/paper/Makefile @@ -8,7 +8,7 @@ SHELL := bash MAKEFLAGS += --warn-undefined-variables MAKEFLAGS += --no-builtin-rules -DIFF_VERSION ?= v3.0 +DIFF_VERSION ?= v3.1 main_tex ?= ihsm_paper brief_tex ?= ihsm_tech_report |