RE: [PHP-DOC] Re: [PHP-QA] Documentation Bugs From: Mike Robinson (mgrphp3 <email protected>)
Date: 08/24/00

> > It would probably be best to try to keep all of the bug tracking - doc
> > bugs, php bugs and feature requests - in one central application.
> Im not saying separate them out just
> if($bug_type == "Documentation Problem") {
> mail(phpdoc <email protected>)
> }
>
> as well as phpdev.. Maybe its an overkill.. Just an idea though

I think its a good idea.
That way, people on the doc list don't have to be subscribed to the
dev list to get fresh doc bug reports. Not that there's that many. :)

.mike