sebasguts/AutoDoc — pull request #7 by fingolfin (2013-01-16 14:29:37+00:00)
Title: Proof of concept: Add support for customizing GAPDoc <TitlePage>

The code now also indents the generated output nicely, hopefully
further reducing the need to manually edit it.