make the name of the library directory a config option

diff --git a/Documentation/git-log.txt b/Documentation/git-log.txt
index 7adcdefacfd681729317c59ebacfd4a27db1effd..63c1dbe812e6078870569c0b8d03ff021e4b56a3 100644 (file)
--- a/Documentation/git-log.txt
+++ b/Documentation/git-log.txt
@@ -61,6 +61,9 @@ include::pretty-options.txt[]
        the specified paths; this means that "<paths>..." limits only
        commits, and doesn't limit diff for those commits.
 
+--follow::
+       Continue listing the history of a file beyond renames.
+
 <paths>...::
        Show only commits that affect the specified paths.
 
@@ -91,6 +94,12 @@ git log -r --name-status release..test::
        in the "release" branch, along with the list of paths
        each commit modifies.
 
+git log --follow builtin-rev-list.c::
+
+       Shows the commits that changed builtin-rev-list.c, including
+       those commits that occurred before the file was given its
+       present name.
+
 Discussion
 ----------