diff options
| author | Štěpán Němec <stepnem@smrk.net> | 2023-11-29 13:02:51 +0100 |
|---|---|---|
| committer | Eric Wong <e@80x24.org> | 2023-11-29 21:51:02 +0000 |
| commit | 1973ff3169d1c2d75f60843e0a10f32c528cbe7e (patch) | |
| tree | 571acad2dafdcf7d83b54a5dcaa59873682c12ca /script | |
| parent | 59e3e12f23994538383f54f44e92e8a0d63070b2 (diff) | |
| download | public-inbox-1973ff3169d1c2d75f60843e0a10f32c528cbe7e.tar.gz | |
Fixes: c76a20d75200 ("cindex: require `-g GIT_DIR' or `-r PROJECT_ROOT'")
Diffstat (limited to 'script')
| -rwxr-xr-x | script/public-inbox-cindex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/script/public-inbox-cindex b/script/public-inbox-cindex index a015d7a4..d61d0244 100755 --- a/script/public-inbox-cindex +++ b/script/public-inbox-cindex @@ -4,7 +4,7 @@ use v5.12; use Getopt::Long qw(:config gnu_getopt no_ignore_case auto_abbrev); my $help = <<EOF; # the following should fit w/o scrolling in 80x24 term: -usage: public-inbox-cindex [options] -g GIT_DIR... +usage: public-inbox-cindex [options] -g GIT_DIR [-g GIT_DIR]... usage: public-inbox-cindex [options] --project-list=FILE -r PROJECT_ROOT Create and update search indices for code repos |