Added instructions on building the documentation...
Added instructions on building the documentation
(patch: Jörgen Stenarson <jorgen.stenarson@bostream.nu>, with some mods)
Updated the update_manual.py script to os.abort() at the end, also added shebang.