Automatically build Sphinx documentation

This is a short bash script I wrote in order to automatically build the HTML version of some documentation using the Sphinx documentation system upon change of any file inside the documentation directory.

The script should be placed inside the documentation directory (the same containing the Sphinx Makefile, etc). Its behavior is quite straight-forward; what it does is:

  1. Retrieve the directory containing the script, and use as $WORKDIR
  2. Wait for a modify/create/delete event on the $WORKDIR
  3. Use the makefile to build html documentation into $WORKDIR
  4. Continue the infinite loop until stopped by CTRL-C
## Automatically build Sphinx ...

Page 1 / 1