[PATCH resend] git-pull: fix fetch-options.txt to not document --quiet and --verbose twice in git-pull.txt

Hello all, In git-pull(1) we can read :

OPTIONS
      -q, --quiet
          Operate quietly.

      -v, --verbose
          Be verbose.
...

      -q, --quiet
          Pass --quiet to git-fetch-pack and silence any other
internally used git
          commands.

      -v, --verbose
          Be verbose.

The first part is included by merge-option.txt and the second by fetch-options.txt. I choose to "suppress" the fetch-options part because IMHO we don't need that level of precision. But if you prefer, I can provide a patch to "ifndef" the merge-options.txt part.

Best regard

git-pull.txt includes fetch-options.txt and merge-options.txt which both document the --quiet and --verbose parameters. So we supress the --quiet and --verbose paragraphs if fetch-options.txt is included by git-pull.txt

Signed-off-by: Emmanuel Trillaud <etrillaud@gmail.com>
---
Documentation/fetch-options.txt |    2 ++
1 files changed, 2 insertions(+), 0 deletions(-)