Re: [PATCH] gnulib-tool: Doc fix.

2012-02-19 Thread Simon Josefsson
Bruno Haible writes: > Simon Josefsson wrote: >> +2012-02-13 Simon Josefsson >> + >> +* gnulib-tool (Usage): Document --help and --version. > > The idea is good. But unlike the options --verbose and --quiet, the > --help and --version options are not meant to be combined with other > optio

Re: [PATCH] gnulib-tool: Doc fix.

2012-02-19 Thread Bruno Haible
Simon Josefsson wrote: > +2012-02-13 Simon Josefsson > + > + * gnulib-tool (Usage): Document --help and --version. The idea is good. But unlike the options --verbose and --quiet, the --help and --version options are not meant to be combined with other options. Therefore they define "operati

[PATCH] gnulib-tool: Doc fix.

2012-02-13 Thread Simon Josefsson
Pushed. /Simon * gnulib-tool (Usage): Document --help and --version. --- ChangeLog |4 gnulib-tool |3 +++ 2 files changed, 7 insertions(+), 0 deletions(-) diff --git a/ChangeLog b/ChangeLog index e20eb75..ca738bf 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2012-02-13