projects / web.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
forgot to add POPL to RustBelt publication
[web.git] / personal / upload.sh
1 #/bin/bash
2 cd "$(dirname "$0")"
3
4 jekyll build
5 cd _site
6 rsync ./ ralfj.de:srv/www.ralfj.de/docroot/ -aP
sources for my website