From 0fe818e1182e7721ec9a9acefd3122824f4b4924 Mon Sep 17 00:00:00 2001 From: Simon Josefsson Date: Mon, 13 Feb 2012 15:44:41 +0100 Subject: [PATCH] gnulib-tool: Doc fix. * gnulib-tool (Usage): Document --help and --version. --- ChangeLog | 4 ++++ gnulib-tool | 3 +++ 2 files changed, 7 insertions(+) diff --git a/ChangeLog b/ChangeLog index e20eb75a2..ca738bfce 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2012-02-13 Simon Josefsson + + * gnulib-tool (Usage): Document --help and --version. + 2012-02-11 Jim Meyering bootstrap: don't exit 0 upon gnulib-tool failure diff --git a/gnulib-tool b/gnulib-tool index 3c895ac69..b30a0bb05 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: -- 2.11.0