direct future uploads at the appendix-3.3

564b7d5c · Ralf Jung · 05b1c41f · 564b7d5c
Commit 564b7d5c authored 5 years ago by Ralf Jung
--- 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