links to POPL'18 talk
[web.git] / research / upload.sh
1 #/bin/bash
2 cd "$(dirname "$0")"
3
4 jekyll build
5 cd _site
6 rsync ./ mpi-contact:public_html/ -aP