make the name of the library directory a config option

diff --git a/Documentation/git-branch.txt b/Documentation/git-branch.txt
index bb6b57dc2d00e38fc1d0128fe02fc771a1f83086..bc6aa88417486cda92e8ea47f67bcfc24317b9d2 100644 (file)
--- a/Documentation/git-branch.txt
+++ b/Documentation/git-branch.txt
@@ -130,8 +130,8 @@ Delete unneeded branch::
 ------------
 $ git clone git://git.kernel.org/.../git.git my.git
 $ cd my.git
-$ git branch -d -r todo html man   <1>
-$ git branch -D test               <2>
+$ git branch -d -r origin/todo origin/html origin/man   <1>
+$ git branch -D test                                    <2>
 ------------
 +
 <1> delete remote-tracking branches "todo", "html", "man"