diff --git a/tex/iris.tex b/tex/iris.tex index 0a30cdda5a7e9d07391bbc13b8921eddddfd7519..3f53ccf6b5997e9c9a5c64d442e88b44fbd7cac1 100644 --- a/tex/iris.tex +++ b/tex/iris.tex @@ -14,7 +14,7 @@ \input{setup} -\title{\bfseries The Iris 4.0 Reference} +\title{\bfseries The Iris 4.1~dev Reference} \author{\url{http://plv.mpi-sws.org/iris/}} diff --git a/tex/upload b/tex/upload index 106922217a72ac7907e2011da7c3d0d70efe6d0e..b0c37336e86a0adad1b74547e77b228c449ecdc6 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-4.0.pdf +scp iris.pdf mpi-contact:plv.mpi-sws.org/iris/appendix-4.1.pdf