Como
nós
geramos
os
formatos
Este
manual
é
escrito
em
XML
,
utilizando
o
DocBook
XML
DTD
e
usando
DSSSL
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
texto
simples
,
HTML
,
PDF
,
PalmPilot
DOC
,
PalmPilot
iSilo
e
Windows
HTML
Help
,
a
partir
do
http
:
/
/www.php.net
/
docs.php
.
Os
manuais
são
automaticamente
atualizados
quando
da
alteração
dos
fontes
.
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
.