nichijou/deploy.sh

#!/bin/sh

set -eu

cd -- build
make doc
rsync -a --delete --progress doc/html/ 'web@shione.vermwa.re:'
cd -- ..
add manual deploy script This will be locally executed until CICD is ready. 2021-03-19 12:11:41 -04:00			`#!/bin/sh`

deploy.sh: make doc before deploying Also show rsync progress. 2022-03-13 03:06:04 -04:00			`set -eu`

			`cd -- build`
			`make doc`
			`rsync -a --delete --progress doc/html/ 'web@shione.vermwa.re:'`
			`cd -- ..`