From b1208171c26d4d364075c7c6763ae0a343b49d36 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Sat, 20 Aug 2022 08:01:59 -0400
Subject: [PATCH] this will be the 4.1 reference
---
tex/iris.tex | 2 +-
tex/upload | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/tex/iris.tex b/tex/iris.tex
index 0a30cdda5..3f53ccf6b 100644
--- a/tex/iris.tex
+++ b/tex/iris.tex
@@ -14,7 +14,7 @@
\input{setup}
-\title{\bfseries The Iris 4.0 Reference}
+\title{\bfseries The Iris 4.1~dev Reference}
\author{\url{http://plv.mpi-sws.org/iris/}}
diff --git a/tex/upload b/tex/upload
index 106922217..b0c37336e 100755
--- a/tex/upload
+++ b/tex/upload
@@ -3,5 +3,5 @@ set -e
cd "$(dirname "$(readlink -e "$0")")"
rub iris
-scp iris.pdf mpi-contact:plv.mpi-sws.org/iris/appendix-4.0.pdf
+scp iris.pdf mpi-contact:plv.mpi-sws.org/iris/appendix-4.1.pdf
--
GitLab