Hi Michael!
I'm admiring your documentation and the feature to let
users contribute comments. It is very, very useful.
What tool are you using to do this? Is it a publicly
available tool?
We have a lots of tools, some of them are developed for our own needs.
You can find all the documentation sources at cvs.php.net including the
sources of the system used to build, maintain, distribute, comment the
documentation. A howto is available which is aimed at manual
contributors, but you might get important information form out of it:
http://php.net/dochowto
Note that *we are not providing support* for our system, since it is
developed for our own needs, and *we are not providing a package* of the
system for the same reason. So if you would like to reuse the system,
you can get all the source code and the already available help, but
otherwise you are on your own. The documentation build system is
licensed under the PHP license.
Regards,
Goba
