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
