[php] wie wurde php-manual erstellt

[Jens Giessmann]

Hi,

On Fri, Jun 11, 2004 at 12:15:48AM +0200, Konstantin Rekk wrote:
> mich würde für eigene Dokumentation interessieren, mit welchem
> Tool das php-Manual geschrieben wurde , DocBook
> oder ähnliches?

Ja.

[..]
The PHP documentation is written in XML using the DocBook DTD. 
[..]

http://www.php.net/manual/howto/
http://www.php.net/manual/howto/chapter-framework.html

Gruss Jens