summaryrefslogtreecommitdiff
path: root/paper/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'paper/Makefile')
-rw-r--r--paper/Makefile2
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