Documentation helper files. Building documentation is currently done by shell script, but will be integrated into the build system eventually.