As fontes XML podem ser transformadas usando várias ferramentas. Por enquanto o modo "oficial" é usar o script convert.sh. Ele usa xsltproc para fazer o trabalho pesado, junto com mgw-manual.xsl que determina algumas variáveis que influenciam o código HTML resultante.

Portanto, para compilar, basta fazer isto:

      cd docs/
      convert.sh
    

para gerar na saída códigos HTML no diretório HTML dentro de docs/.