diff options
| author | Andrew Dunstan | 2023-02-16 16:42:13 +0000 |
|---|---|---|
| committer | Andrew Dunstan | 2023-02-16 16:42:13 +0000 |
| commit | afa7930462f576155a3a6e7716def3db1790fc41 (patch) | |
| tree | 7a5a082c99d65bd5ec39d64176bf7028d45db556 | |
| parent | 17feb6a566b77bf62ca453dec215adcc71755c20 (diff) | |
pgindent: mention directory arguments in help text
Shi Yu
| -rwxr-xr-x | src/tools/pgindent/pgindent | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/pgindent/pgindent b/src/tools/pgindent/pgindent index 8a2d39c4f6c..3c48f3c46bd 100755 --- a/src/tools/pgindent/pgindent +++ b/src/tools/pgindent/pgindent @@ -316,7 +316,7 @@ sub usage my $message = shift; my $helptext = <<'EOF'; Usage: -pgindent [OPTION]... [FILE]... +pgindent [OPTION]... [FILE|DIR]... Options: --help show this message and quit --commit=gitref use files modified by the named commit |