git-help: add -w|--web option to display html man page in a browser.

diff --git a/Documentation/glossary.txt b/Documentation/glossary.txt
index 56451775e70e313311ac0cfbc286fa262eb15d5c..fc1874424e26a2f95574d72bf3fc1c71a3b1a1b6 100644 (file)
--- a/Documentation/glossary.txt
+++ b/Documentation/glossary.txt
@@ -281,7 +281,7 @@ This commit is referred to as a "merge commit", or sometimes just a
 [[def_pickaxe]]pickaxe::
        The term <<def_pickaxe,pickaxe>> refers to an option to the diffcore
        routines that help select changes that add or delete a given text
-       string. With the --pickaxe-all option, it can be used to view the full
+       string. With the `--pickaxe-all` option, it can be used to view the full
        <<def_changeset,changeset>> that introduced or removed, say, a
        particular line of text. See gitlink:git-diff[1].