Contents The two subfolders dev user contain the source for generating the developer's guide and the user's guide repsectively. For instructions on how to contribute or build the documentation see the corresponding README and README-AUTHORS files.