The files in this directory used to be required for building Nimrod. Now they 
are only used for the documentation.