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: