From 93d53ba8f7633308c29b107c3090a2716a5607c1 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Mon, 8 Mar 2021 10:40:23 +0100
Subject: [PATCH] update version number in tex 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 fa7b2145b..3913a54a9 100644
--- a/tex/iris.tex
+++ b/tex/iris.tex
@@ -14,7 +14,7 @@
\input{setup}
-\title{\bfseries The Iris 3.3 Documentation}
+\title{\bfseries The Iris 3.5-dev Documentation}
\author{\url{http://plv.mpi-sws.org/iris/}}
diff --git a/tex/upload b/tex/upload
index 1d0799ebe..e8d68574c 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.3.pdf
+scp iris.pdf mpi-contact:plv.mpi-sws.org/iris/appendix-3.5.pdf
--
GitLab