On Tue, 22 Aug 2006, Sean Coates wrote: > > IMHO you should keep it within the extension itself, phpdocs > > configure script has a --with-pecl-source=... option that will > > pick it up from PECL ... > > PECL documentation has been stored in the phpdoc repository for a long > time now. > > There are a few problems with putting the documentation in PECL: > - it won't get built with the manual (unless I'm mistaken... Derick?)
Correct, as I've never heard of this switch either :) > - normal documenter-types don't have karma for most of pecl (the doc > team won't be able to fix bugs, etc) > - there's no translation infrastructure > - no tool infrastructure (http://doc.php.net/) > > Opinions? Keep it in the phpdoc... however, I do think we should mark it *much* better that something is in PECL and not in the PHP distribution. Derick