deploy.sh: make doc before deploying

Also show rsync progress.
This commit is contained in:
Renken 2022-03-13 08:06:04 +01:00
parent 73350e4284
commit f18f5e0fbb
No known key found for this signature in database
GPG key ID: 3D24CB017B876F25

View file

@ -1,3 +1,8 @@
#!/bin/sh #!/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 -- ..