diff options
author | Simon Josefsson <simon@josefsson.org> | 2012-02-13 15:44:41 +0100 |
---|---|---|
committer | Simon Josefsson <simon@josefsson.org> | 2012-02-13 15:44:55 +0100 |
commit | 0fe818e1182e7721ec9a9acefd3122824f4b4924 (patch) | |
tree | b9d80a626c52f1afa6e79b712a77b35c8bafa575 /gnulib-tool | |
parent | de009b65198c00dbe0ecd796ce75d5d9f5346103 (diff) | |
download | gnulib-0fe818e1182e7721ec9a9acefd3122824f4b4924.tar.gz |
gnulib-tool: Doc fix.
* gnulib-tool (Usage): Document --help and --version.
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: |