Code

Documentation helper files. Building documentation is currently done by shell script...