11.13.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 format du manuel, et bien sur, PHP lui-même pour réaliser certaines conversions et formats.

Vous pouvez télécharger le manuel dans différentes langues, y compris un format en texte plein, HTML , PDF , PalmPilot DOC , PalmPilot iSilo et Windows HTML Help , à l'URL http://www.php.net/docs.php . Les manuels sont mis à jours automatiquement, avec la mise à jour des sources.

Vous pouvez trouver plus d'informations sur le téléchargement des sources XML de cette documentation à http://cvs.php.net/ . La documentation est stockée dans le module phpdoc .