diff --git a/tex/iris.tex b/tex/iris.tex
index 3913a54a9316784f31be17694693a4a1abfed3bf..e6aa03d45c73955a07fe153355e03661fa7d6efd 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 e8d68574c151be74fa748046c99f4b26e91bc4df..5622fa4f8a9c578ef3769ce4bfa8f03d28d79d45 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