magic: put generated doc comments into doc/AutoDocEntries.g

This is just the default, which replaces the previous default
of doc/autodoc.out. The later was in conflict on Mac OS X
with the file doc/AutoDoc.out generated by LaTeX.