diff --git a/tex/upload b/tex/upload index 6f6be2ed732f43d2cf29666a0cd38c85eb41853d..1d0799ebe8567dc70f681ecd56aa1fc1896f34c5 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.2.pdf +scp iris.pdf mpi-contact:plv.mpi-sws.org/iris/appendix-3.3.pdf