Re: [PATCH v4 1/3] doc: clean up usage documentation for --no-* opts

> James Liu <james@jamesliu.io> writes:
>
> > We'll be adding another option to the --no-* class of options soon.
> >
> > Clean up the existing options by grouping them together in the OPTIONS
> > section, and adding missing ones to the SYNOPSIS.
>
> Nice.  
>
> > diff --git a/Documentation/git.txt b/Documentation/git.txt
> > index 7a1b112a3e..7fa75350b2 100644
> > --- a/Documentation/git.txt
> > +++ b/Documentation/git.txt
> > @@ -11,9 +11,9 @@ SYNOPSIS
> >  [verse]
> >  'git' [-v | --version] [-h | --help] [-C <path>] [-c <name>=<value>]
> >      [--exec-path[=<path>]] [--html-path] [--man-path] [--info-path]
> > -    [-p|--paginate|-P|--no-pager] [--no-replace-objects] [--bare]
> > -    [--git-dir=<path>] [--work-tree=<path>] [--namespace=<name>]
> > -    [--config-env=<name>=<envvar>] <command> [<args>]
> > +    [-p|--paginate|-P|--no-pager] [--no-replace-objects] [--no-lazy-fetch]
> > +    [--no-optional-locks] [--bare] [--git-dir=<path>] [--work-tree=<path>]
> > +    [--namespace=<name>] [--config-env=<name>=<envvar>] <command> [<args>]
>
> Looks sensible.
>
> There still are a few options (like noglob-pathspecs) missing, but
> cleaning them up from this part of the documentation is totally
> outside the scope of this topic (#leftoverbits -- we either make
> this exhaustive, or make it clear that this is not exhaustive).
>
> Thanks.