diff --git a/tex/upload b/tex/upload index 5622fa4f8a9c578ef3769ce4bfa8f03d28d79d45..5874571c3252a550d75c5d53dd173855cd40044f 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.6.pdf +scp iris.pdf mpi-contact:plv.mpi-sws.org/iris/appendix-3.7.pdf