A propos de ce manuel

Formats
A propos des contributions utilisateurs
Où trouver encore plus d'informations sur PHP?
Comment aider à améliorer la documentation
Comment est généré le manuel

8.10.5 Comment est généré le manuel

Ce manuel est écrit en XML avec la DTD DocBook XML, et DSSSL (Document Style and Semantics Specification Language) pour le formattage, et expérimentalement, XSLT (Extensible Stylesheet Language Transformations) pour la maintenance et le formattage.

En utilisant XML comme format de source, nous avons la possibilité de générer de nombreux format tout en entretenant uniquement 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 Microsoft HTML Help Workshop pour générer la version HTML Help, et bien sur, PHP lui même pour toutes les conversions et formatage additionnels.

Vous pouvez télécharger le manuel dans différents langages et formats, y compris texte, HTML, PDF, PalmPilot DOC, PalmPilot iSilo et Windows HTML Help, depuis http://www.php.net/docs.php. Ces manuels sont automatiquement mis à jour, lorsque la source est modifiée.

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