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

2002-06-11 Thread Hartmut Holzgraefe
hholzgraTue Jun 11 06:34:20 2002 EDT Modified files: /phpdoc/scripts make_man.php Log: wasn't able to deal with the increased number of files generated by operation 'bananasplit' Index: phpdoc/scripts/make_man.php diff -u phpdoc/scripts/make_ma

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

2002-03-10 Thread Derick Rethans
derick Mon Mar 11 02:43:24 2002 EDT Modified files: /phpdoc/scripts make_man.php Log: - Update make_man script for Docbook4 #- Not done yet... but should work quite well. Index: phpdoc/scripts/make_man.php diff -u phpdoc/scripts/make_man.php:1.1 phpd