also update filename

620e1ffc · Ralf Jung · fd459e87 · 620e1ffc
Commit 620e1ffc authored Jan 22, 2022 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.6.pdf
+scp iris.pdf mpi-contact:plv.mpi-sws.org/iris/appendix-3.7.pdf