diff --git a/appendices/about.xml b/appendices/about.xml index 46505839d8..e7443ec667 100644 --- a/appendices/about.xml +++ b/appendices/about.xml @@ -1,5 +1,5 @@ - + About the manual @@ -362,21 +362,15 @@ Returns the length of given string. This manual is written in XML using the DocBook XML DTD, using XSLT (Extensible - Stylesheet Language Transformations) for maintenance and formatting. + xlink:href="&url.phd;">PhD (The [PH]P based + [D]ocBook renderer) for maintenance and formatting. Using XML as a source format gives the ability to generate many output formats from the source files, while only maintaining one source document for all formats. - The tools used for formatting the online manual are xsltproc and DocBook XSL Stylesheets. - The HTML and TeX versions use - Jade, written by James Clark; and The Modular DocBook Stylesheets, - written by Norman Walsh. + The tool used for formatting the online manual is PhD. We use Microsoft HTML Help Workshop to generate the Windows HTML Help format of the manual, and of course PHP itself to do some @@ -424,11 +418,7 @@ Returns the length of given string. - At the moment the manual is available, partly or not, in the following languages: - Brazilian Portuguese, Chinese (Simplified), Chinese (Hong Kong Cantonese), Chinese (Traditional), Czech, - Dutch, Finnish, French, German, Greek, Hebrew, Hungarian, Italian, Japanese, - Korean, Polish, Romanian, Russian, Slovak, Slovenian, Spanish, Swedish, and - Turkish. + At the moment the manual is available, partly or not, in over 10 languages. They may all be downloaded here: &url.php.docs;.