All scripts should be run from the main directory.

make-release.sh
---------------
Creates, tags and signs a release, placing the resulting files in 
the dist/ directory.

generate_html.sh
-------------
Generates the HTML documentation in doc/html/. This file is
called by make-release.sh and does not need to be called by
itself.
