Manual do PHP
Anterior | Apêndice Q. Sobre o manual | Próxima

# Como nós geramos os formatos

Este manual é escrito em XML, utilizando o DocBook XML DTD e usando DSSSL (Document Style and Semantics Specification Language) para formatação. Experimentalmente XSLT (Extensible Stylesheet Language Transformations) para manutenção e formatação.

Utilizando XML como meta dado nos permite gerar vários outros formatos a partir dos arquivos fonte, ao mesmo tempo que a manutenção é feita em um único lugar para todas as versões. As ferramentas utilizadas para criar as versões HTML e TeX são o Jade, escrito por James Clark, e The Modular DocBook Stylesheets, escrito por Norman Walsh. Nós utilizamos o Microsoft HTML Help Workshop para criar o formato HTML Help e, é claro, o próprio PHP para fazer algumas conversões adicionais.

Você pode obter o manual em várias línguas e formatos, incluindo HTML simples, PDF, PalmPilot DOC, PalmPilot iSilo e Windows HTML Help, a partir do http://www.php.net/docs.php. Note que, por razões técnicas, alguns formatos podem não estar disponíveis.

Para maiores informações sobre como obter os fontes XML desta documentação, veja em http://cvs.php.net/. A documentação é guardada no módulo phpdoc.

Anterior | Principal | Próxima
Como ajudar a melhorar a documentação | Acima | Traduções