 |
 |
 |
 |
|
|
Date: 05/07/01
- Next message: Derick Rethans: "[PHP-DOC] cvs: phpdoc / make_man.php"
- Previous message: Roel Vanhout: "[PHP-DOC] make_man.php improvements"
- In reply to: Roel Vanhout: "[PHP-DOC] make_man.php improvements"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Hi,
I'm applying your patch, thnx!
Derick
On Mon, 7 May 2001, Roel Vanhout wrote:
> Hi,
>
> Here's a patch to make_man.php that will
> - handle example indentation better (doesn't use 'indent' any more)
> - will write man pages gzipped if php is compiled with zlib support
> (using gzwrite)
>
> cheers,
>
> roel
>
Derick Rethans
---------------------------------------------------------------------
PHP: Scripting the Web - www.php.net - derick <email protected>
SRM: Site Resource Manager - www.vl-srm.net
---------------------------------------------------------------------
- Next message: Derick Rethans: "[PHP-DOC] cvs: phpdoc / make_man.php"
- Previous message: Roel Vanhout: "[PHP-DOC] make_man.php improvements"
- In reply to: Roel Vanhout: "[PHP-DOC] make_man.php improvements"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]