mohamed-barakat/D-Modules — pull request #1 by fingolfin (2014-01-05 22:07:51+00:00)
Title: Update documentation generation to latest AutoDoc

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