projects / fifth.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Updated documentation.
[fifth.git] / tools / update web site
1 #!/bin/bash
2
3 cd "${0%/*}"
4
5 cd ..
6
7 rsync -avz --delete  -e 'ssh -p 10006' doc/ n0@www3.svjatoslav.eu:/mnt/big/projects/fifth/
Unnamed repository; edit this file 'description' to name the repository.