upload

#!/bin/sh
set -e
cd "$(dirname "$(readlink -e "$0")")"

rub iris
scp iris.pdf mpi-contact:plv.mpi-sws.org/iris/appendix-3.5.pdf