add my POPL20 papers
[web.git] / ralf / upload.sh
1 #/bin/bash
2 cd "$(dirname "$0")"
3
4 jekyll build
5 cd _site
6
7 git add .
8 git diff --cached
9 git commit -m "site upload"
10
11 rsync ./ www.ralfj.de:/srv/www.ralfj.de/docroot/ -aP --exclude .git