4. Sobre a elaboração deste manual

Este manual foi desenvolvido no Novdoc, um subconjunto de DocBook (consulte http://www.docbook.org.) Os arquivos de origem XML foram validados por xmllint, processados por xsltproc e convertidos em XSL-FO com uma versão personalizada das folhas de estilo de Norman Walsh. O PDF final é formatado com XEP do RenderX.