diff options
| author | jaseg <git@jaseg.de> | 2021-09-27 18:50:33 +0200 |
|---|---|---|
| committer | jaseg <git@jaseg.de> | 2021-09-27 18:50:33 +0200 |
| commit | fffef5e79470759bf3c8f9d2d90dce32702da14e (patch) | |
| tree | ae514a3480d114ced279f1effb3015bb9b053b9d /paper/Makefile | |
| parent | 2219846a12157d351d35965cd1ad2d1635e8762b (diff) | |
| download | ihsm-fffef5e79470759bf3c8f9d2d90dce32702da14e.tar.gz ihsm-fffef5e79470759bf3c8f9d2d90dce32702da14e.tar.bz2 ihsm-fffef5e79470759bf3c8f9d2d90dce32702da14e.zip | |
Diff export
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 e230536..271964f 100644 --- a/paper/Makefile +++ b/paper/Makefile @@ -8,7 +8,7 @@ SHELL := bash MAKEFLAGS += --warn-undefined-variables MAKEFLAGS += --no-builtin-rules -DIFF_VERSION ?= v2.0 +DIFF_VERSION ?= v3.0 main_tex ?= ihsm_paper brief_tex ?= ihsm_tech_report |