In a side note, I remember a discussion about two kinds of manual builds. One including PECL extensions docs and one without them. Was I dreaming or is this really on the TODO list ? (if so, I already started cooking a patch that adds a --without-pecldoc to ./configure and hacks manual.xml on the fly just before starting the build.)
It is a difficult question. We have bundled PECL extensions, and so they need to be in the PECL-less manual. Also I doubt there will be a lot of people using the PECL-less version, if we do our *navigation* better.
It was decided that all PECL extensions' documentation would end up in the normal PHP manual. Why do you want to change this now?
I don't want to change this. I have not taken the appropriate steps probably to make my sentences look as if I am talking about a fictional PECL-less manual, but I was just providing some insight into how would such a manual look, and then provided reasons on why don't we need it.
Goba
