make the name of the library directory a config option

diff --git a/Documentation/git-revert.txt b/Documentation/git-revert.txt
index 71f7815d65a38db70a5176a50989300b39684cda..69db4984473fae7928797bcfb13baf1f0e39d851 100644 (file)
--- a/Documentation/git-revert.txt
+++ b/Documentation/git-revert.txt
@@ -19,6 +19,8 @@ OPTIONS
 -------
 <commit>::
        Commit to revert.
+       For a more complete list of ways to spell commit names, see
+       "SPECIFYING REVISIONS" section in gitlink:git-rev-parse[1].
 
 -e|--edit::
        With this option, `git-revert` will let you edit the commit
@@ -54,4 +56,3 @@ Documentation by Junio C Hamano and the git-list <git@vger.kernel.org>.
 GIT
 ---
 Part of the gitlink:git[7] suite
-