diff options
Diffstat (limited to 'gnulib-tool')
| -rwxr-xr-x | gnulib-tool | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gnulib-tool b/gnulib-tool index 3c895ac690..b30a0bb056 100755 --- a/gnulib-tool +++ b/gnulib-tool @@ -201,8 +201,11 @@ General options: up files before looking in gnulib's directory. --cache-modules Enable module caching optimization. --no-cache-modules Disable module caching optimization. + --verbose Increase verbosity. May be repeated. --quiet Decrease verbosity. May be repeated. + --help Show this help text. + --version Show version and authorship information. Options for --import, --add/remove-import, --update: |