homalg-project/D-Modules — pull request #1 by fingolfin (2014-01-04 15:28:53+00:00)
Title: Update documentation generation to latest AutoDoc

Note that ListOfDocFiles.g now is only needed by maketest.g