1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
#!/usr/bin/env bash trap 'exit' INT TERM trap 'kill 0' EXIT # web server mkdir -p target/doc cd target/doc python2 -m SimpleHTTPServer 4040 & # regen docs cd ../.. while true; do inotifywait -e close_write,delete_self -r src/ && cargo doc; done