From ce9eabca54c2aa9302fd511a4ea3447f3f75247a Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Wed, 5 Jun 2019 18:03:44 +0200
Subject: [PATCH] this will become the 3.2 docs from here on
---
docs/iris.tex | 2 +-
docs/upload | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/docs/iris.tex b/docs/iris.tex
index 69e331bc5..bd5792b41 100644
--- a/docs/iris.tex
+++ b/docs/iris.tex
@@ -16,7 +16,7 @@
\input{setup}
-\title{\bfseries The Iris 3.1 Documentation}
+\title{\bfseries The Iris 3.2 Documentation}
\author{\url{http://plv.mpi-sws.org/iris/}}
diff --git a/docs/upload b/docs/upload
index 37ef364af..6f6be2ed7 100755
--- a/docs/upload
+++ b/docs/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.1.pdf
+scp iris.pdf mpi-contact:plv.mpi-sws.org/iris/appendix-3.2.pdf
--
GitLab