nichijou/deploy.sh
Renken f18f5e0fbb
deploy.sh: make doc before deploying
Also show rsync progress.
2022-03-13 08:06:04 +01:00

8 lines
113 B
Bash
Executable file

#!/bin/sh
set -eu
cd -- build
make doc
rsync -a --delete --progress doc/html/ 'web@shione.vermwa.re:'
cd -- ..