Andi Gutmans wrote:
Yeah API docs is useful, but still we should have the end-user docs in the PHP manual. I don't think once comes instead of the other. The end-user docs is especially useful as people in the community can give comments, etc...
Err, you misunderstood what I was trying to say. All I was saying that we are generating API docs automatically from the phpdoc comments and providing end user docs separately (which gets translated) written in docbook that can of course link to the API docs.
regards, Lukas -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php