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 - [EMAIL PROTECTED]
SRM: Site Resource Manager - www.vl-srm.net
---------------------------------------------------------------------
