projects / web.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
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
sources for my website