You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
|
12345678910111213141516 |
- set -eu
-
- THIS_SCRIPT=$(readlink -m $0)
- HERE=$(dirname ${THIS_SCRIPT})
- ROOT=$(dirname ${HERE})
-
- while true; do
- echo "Watching for changes..."
- inotifywait -r ${ROOT}/docs/ -q \
- -e modify \
- -e close_write \
- -e move \
- -e delete \
- -e create
- make docs || :
- done
|