make the name of the library directory a config option

diff --git a/Documentation/tutorial-2.txt b/Documentation/tutorial-2.txt
index af8d43bd12624ad8c539ac2dcd0c3c314e0bbff8..5c39a165f5587859750ba924623e817941ef0f71 100644 (file)
--- a/Documentation/tutorial-2.txt
+++ b/Documentation/tutorial-2.txt
@@ -391,6 +391,9 @@ with the commands mentioned in link:everyday.html[Everyday git].  You
 should be able to find any unknown jargon in the
 link:glossary.html[Glossary].
 
+The link:user-manual.html[Git User's Manual] provides a more
+comprehensive introduction to git.
+
 The link:cvs-migration.html[CVS migration] document explains how to
 import a CVS repository into git, and shows how to use git in a
 CVS-like way.