From 844fc1b96c9937da374dabc76d4b974672cf9c56 Mon Sep 17 00:00:00 2001 From: jaseg Date: Thu, 7 Oct 2021 19:34:36 +0200 Subject: Changes re: shepherding 21-10-01 * Extend use cases * Add maintenance/repair section --- paper/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'paper/Makefile') 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 -- cgit