|
11.18.7 Comment sont générées les documentations
Ce manuel est écrit en
XML
, en utilisant
la DTD de DocBook XML , et
DSSSL
(
Document Style and Semantics Specification Language
)
pour le format, et aussi, expérimentalement,
XSLT
(
eXtensible Stylesheet Language Transformations
)
pour les maintenances et les formats.
Grâce au format
XML
comme source, nous avons
la possibilité de générer de nombreux formats tout en ayant une
seule source pour tous les formats. Les outils utilisés pour
formater les versions
HTML
et
TEX
sont Jade ,
écrit par James Clark et
The Modular DocBook Stylesheets
écrit par Norman Walsh .
Nous utilisons
Array
pour générer le format
Windows HTML Help
du manuel, et bien sur, PHP lui-même pour réaliser certaines conversions
et formats.
Le manuel PHP est généré en de nombreux langages et formats, lisez
http://www.php.net/docs.php pour plus d'informations.
Le code source
XML
peut être téléchargé depuis le CVS
et lû sur http://cvs.php.net/ . La documentation
est stocké dans le module
phpdoc
.
|