add Coq typeclass index problem draft
[web.git] / personal / upload.sh
index 4c4d7c6a6cd1eb5ebb2229bcad71c426f8786375..6733051ce12ba7dc3b8620c1616fbadd6057152c 100755 (executable)
@@ -3,4 +3,4 @@ cd "$(dirname "$0")"
 
 jekyll build
 cd _site
 
 jekyll build
 cd _site
-rsync ./ ralfj.de:srv/www.ralfj.de/docroot/ -aP
+rsync ./ www.ralfj.de:/srv/www.ralfj.de/docroot/ -aP