如何生成手册的各种格式

本手册使用 XML 语言编写,同时运用了 DocBook XML DTD。还用了 DSSSL(Document Style and Semantics Specification Language,文档样式和语义规格语言)来控制格式。同时,在实验上我们运用 XSLT(Extensible Stylesheet Language Transformations,可扩展样式表语言转换)来维护格式。

XML 语言作为源文件格式,使得我们只需维护该源文件文档,就可以可以利用它生成许多其它的输出格式。输出 HTMLTeX 版本的工具是由 James Clark 开发的 Jade,以及由 Norman Walsh 开发的 The Modular DocBook Stylesheets。我们使用 Microsoft HTML Help Workshop 来生成本手册的 Windows 超文本帮助格式。当然,PHP 本身也完成了其它一些转换和格式化工作。

PHP 手册被生成多种不同语言和格式,详情见 http://www.php.net/docs.phpXML 源代码可以通过 CVS 下载,并通过 http://cvs.php.net/ 在线浏览。文档存放于 phpdoc 模块中。