On Thu, 9 Sep 2004, Gabor Hojtsy wrote: > > 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? Derick -- Derick Rethans http://derickrethans.nl | http://ez.no | http://xdebug.org
