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 | |
| parent | 59e3e12f23994538383f54f44e92e8a0d63070b2 (diff) | |
| download | public-inbox-1973ff3169d1c2d75f60843e0a10f32c528cbe7e.tar.gz | |
Fixes: c76a20d75200 ("cindex: require `-g GIT_DIR' or `-r PROJECT_ROOT'")
| -rw-r--r-- | Documentation/public-inbox-cindex.pod | 2 | ||||
| -rwxr-xr-x | script/public-inbox-cindex | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/Documentation/public-inbox-cindex.pod b/Documentation/public-inbox-cindex.pod index 0c9c4bdb..02c2d80f 100644 --- a/Documentation/public-inbox-cindex.pod +++ b/Documentation/public-inbox-cindex.pod @@ -4,7 +4,7 @@ public-inbox-cindex - create and update search for code repositories =head1 SYNOPSIS -public-inbox-cindex [OPTIONS] -g GIT_DIR [-g GIT_DIR] +public-inbox-cindex [OPTIONS] -g GIT_DIR [-g GIT_DIR]... public-inbox-cindex [OPTIONS] --update 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 |