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.
Agreed to keep all PECL documentation inside phpdoc. And all should agree the PECL docs "structure" is kind of a mess right now. Due to the almost random nature of when extensions move into PECL, or become bundled/unbundled, it looks like [most] each extension reference will require hand written information as opposed to only using entities for all this (which is being attempted currently). Here's an open bug report on this topic:
http://bugs.php.net/bug.php?id=37315
Also we need a FAQ that explains what PECL is, and means, to everyone from average users to system administrators.
Regards,
Philip