make the name of the library directory a config option

diff --git a/Documentation/git-patch-id.txt b/Documentation/git-patch-id.txt
index 5389097f73c03347263c3af44497011561c594f2..ad528a922487be06207bdcc38a03fe55fd0f2a5d 100644 (file)
--- a/Documentation/git-patch-id.txt
+++ b/Documentation/git-patch-id.txt
@@ -3,7 +3,7 @@ git-patch-id(1)
 
 NAME
 ----
-git-patch-id - Generate a patch ID
+git-patch-id - Compute unique ID for a patch
 
 SYNOPSIS
 --------
@@ -40,4 +40,3 @@ Documentation by Junio C Hamano and the git-list <git@vger.kernel.org>.
 GIT
 ---
 Part of the gitlink:git[7] suite
-