add camera-ready version of itree-program-logic paper
[web.git] / research / upload.sh
index 0cad19594a521dd0ac85a740b60678462e4e2932..249ef6bb473e9bb2d8db38ffa6b94c4048b7853a 100755 (executable)
@@ -8,4 +8,4 @@ git add .
 git diff --cached
 git commit -m "site upload"
 
-rsync ./ ralfj.de:/srv/www.ralfj.de/docroot/research/ -aP --exclude .git
+rsync ./ ralfj.de:/srv/research.ralfj.de/docroot/ -aP --exclude .git