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)
>
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
Index: make_man.php
=
