make the name of the library directory a config option

diff --git a/Documentation/tutorial.txt b/Documentation/tutorial.txt
index 965ec00a6b403d1a4d23c7db2d08198480dc4f5b..bd9fbee99aeb67c5362523d6b4cb43d4889cf8a5 100644 (file)
--- a/Documentation/tutorial.txt
+++ b/Documentation/tutorial.txt
@@ -354,7 +354,7 @@ used for pulls:
 
 -------------------------------------
 $ git config --get remote.origin.url
-/home/bob/myrepo
+/home/alice/project
 -------------------------------------
 
 (The complete configuration created by git-clone is visible using