RE: [PHP-DOC] php manual in man format

[James Moore]

> 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