[php] wie wurde php-manual erstellt

[Dennis Sterzenbach]

Konstantin Rekk wrote:
> mich würde für eigene Dokumentation interessieren, mit welchem
> Tool das php-Manual geschrieben wurde , DocBook
> oder ähnliches?
DocBook

siehe: http://www.php.net/manual/howto/index.html

-- 
   Dennis Sterzenbach