]> Savannah Git Hosting - gnulib.git/commitdiff
gnulib-tool: Doc fix.
authorSimon Josefsson <simon@josefsson.org>
Mon, 13 Feb 2012 14:44:41 +0000 (15:44 +0100)
committerSimon Josefsson <simon@josefsson.org>
Mon, 13 Feb 2012 14:44:55 +0000 (15:44 +0100)
* gnulib-tool (Usage): Document --help and --version.

ChangeLog
gnulib-tool

index e20eb75a23bee796c2e50530037f456e52cba100..ca738bfcea06a15135ba24525c9d084c3d6b0260 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2012-02-13  Simon Josefsson  <simon@josefsson.org>
+
+       * gnulib-tool (Usage): Document --help and --version.
+
 2012-02-11  Jim Meyering  <meyering@redhat.com>
 
        bootstrap: don't exit 0 upon gnulib-tool failure
index 3c895ac6900399322f84eb1315aeb58a9d35fa1b..b30a0bb056f99fc454670e5b0e3edcd9a7d5b7f4 100755 (executable)
@@ -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: