update Iris doc version

f181d238 · Ralf Jung · 075ce23b · f181d238 · f181d238
Commit f181d238 authored Mar 08, 2021 by Ralf Jung
--- 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.4 Documentation}
 \author{\url{http://plv.mpi-sws.org/iris/}}



--- 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.4.pdf