user-manual.txt: fix a tiny typo.

"file patch" was doubtless intended to be "file path",
but "directory name" is clearer.

Signed-off-by: Jim Meyering <redacted>
Signed-off-by: "J. Bruce Fields" <redacted>

diff --git a/Documentation/user-manual.txt b/Documentation/user-manual.txt
index 0919574fb4ace114c9964569d485e41b359de4a9..773f65ef83fefcc204841ceacd2707f6fe8d45e0 100644 (file)
--- a/Documentation/user-manual.txt
+++ b/Documentation/user-manual.txt
@@ -1698,7 +1698,7 @@ If you and maintainer both have accounts on the same machine, then
 then you can just pull changes from each other's repositories
 directly; note that all of the commands (gitlink:git-clone[1],
 git-fetch[1], git-pull[1], etc.) that accept a URL as an argument
-will also accept a local file patch; so, for example, you can
+will also accept a local directory name; so, for example, you can
 use
 
 -------------------------------------------------