[PHP-DOC] cvs: phpdoc / make_man.php

2001-05-07 Thread Derick Rethans
derick Mon May 7 10:13:16 2001 EDT Modified files: /phpdoc make_man.php Log: - Applying patch by Roel Vanhout: - handle example indentation better (doesn't use 'indent' any more) - will write man pages gzipped if php is compiled with zlib support (us

[PHP-DOC] cvs: phpdoc / make_man.php

2001-04-13 Thread Derick Rethans
derick Fri Apr 13 16:41:10 2001 EDT Added files: /phpdoc make_man.php Log: - Added the Unix manual page generator by Roel Vanhout <[EMAIL PROTECTED]> Index: phpdoc/make_man.php +++ phpdoc/make_man.php #!/usr/local/bin/php -q tags preg_match_all('/