RE: [PHP-DOC] php manual in man format From: James Moore (jmoore <email protected>)
Date: 04/14/01

> Derik!
>
> > I just added this script as make_man.php to the phpdoc cvs tree, so that
> > others can easily modify it.
>
> Have you tested it, or just uploaded into phpdoc?
>
> Goba

Derick tested this before he commited it.

- James