didou Mon Feb 23 12:35:31 2004 EDT
Modified files: /livedocs mkindex.php Log: this one was renamed http://cvs.php.net/diff.php/livedocs/mkindex.php?r1=1.17&r2=1.18&ty=u Index: livedocs/mkindex.php diff -u livedocs/mkindex.php:1.17 livedocs/mkindex.php:1.18 --- livedocs/mkindex.php:1.17 Mon Feb 16 12:54:59 2004 +++ livedocs/mkindex.php Mon Feb 23 12:35:30 2004 @@ -19,7 +19,7 @@ // | construct an index | // +----------------------------------------------------------------------+ // -// $Id: mkindex.php,v 1.17 2004/02/16 17:54:59 derick Exp $ +// $Id: mkindex.php,v 1.18 2004/02/23 17:35:30 didou Exp $ /* just to be on the safe side */ @@ -31,7 +31,7 @@ $TMPDIR = $argv[3]; if (!is_dir($PHPDOC) || !is_dir($PHPDOC . DIRECTORY_SEPARATOR . $LANG)) { - echo "Usage: index-phpdoc.php /path/to/phpdoc lang tmp-dir\n"; + echo "Usage: mkindex.php /path/to/phpdoc lang tmp-dir\n"; exit(1); }