"file patch" was doubtless intended to be "file path",

but "directory name" is clearer.
Signed-off-by: Jim Meyering <jim@meyering.net>

---

 Documentation/user-manual.txt |    2 +-

 1 files changed, 1 insertions(+), 1 deletions(-)
diff --git a/Documentation/user-manual.txt b/Documentation/user-manual.txt

index d7b227e..72668f0 100644

--- a/Documentation/user-manual.txt

+++ b/Documentation/user-manual.txt

@@ -1698,7 +1698,7 @@

 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
 -------------------------------------------------

--

1.5.0.4.402.g8035

-