sebasguts/AutoDoc — pull request #6 by fingolfin (2013-08-06 10:49:24+00:00)
Title: Do not convert .bib to xml

First off, the manual does not currently use the bibliography at all.
Secondly, GAPDoc can handle .bib files directly, there is no need to
manually convert them to XML. Just write

and it will work.