Comment 6 for bug 536467

Ideally, the documentation would be maintained in some form that
 * allows non-programmers to modify it
 * will be compiled into the game as the encyclopedia and other spots
 * will also be turned into a nice and complete HTML and PDF user manual.

Maybe docbook is an option; if you label the indivdiual sections you can extract programmatically at build time the various fragments that should show up in the game as well.