New from phpdoc.info today is this new posting with a summary of the a few small tools from the phpDocumentor group.

Today, I put together a new (small) tool, at the request of Jared Williams, on the doc list. It occurred to me that some of my other doc tools are virtually unknown. Here's a brief description of three.

The list includes:

• Pre-Configured Docs - see this page for more info
• Notes manager - software to maintin the user notes on the PHP manual
• Commits - commit information (including RSS feeds).