From 51a8187936931afd37fe5a812bfbb8ebd749421b Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Tue, 9 Nov 2021 19:13:20 -0500
Subject: [PATCH] this is now the Iris 3.6 docs

---
 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 3913a54a9..e6aa03d45 100644
--- a/tex/iris.tex
+++ b/tex/iris.tex
@@ -14,7 +14,7 @@
 \input{setup}
 
 
-\title{\bfseries The Iris 3.5-dev Documentation}
+\title{\bfseries The Iris 3.6-dev Documentation}
 \author{\url{http://plv.mpi-sws.org/iris/}}
 
 
diff --git a/tex/upload b/tex/upload
index e8d68574c..5622fa4f8 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-3.5.pdf
+scp iris.pdf mpi-contact:plv.mpi-sws.org/iris/appendix-3.6.pdf
 
-- 
GitLab