diff --git a/deploy.sh b/deploy.sh index 4849d35..6255854 100755 --- a/deploy.sh +++ b/deploy.sh @@ -1,3 +1,8 @@ #!/bin/sh -rsync -a --delete build/doc/html/ 'web@shione.vermwa.re:' +set -eu + +cd -- build +make doc +rsync -a --delete --progress doc/html/ 'web@shione.vermwa.re:' +cd -- ..