path: root/Documentation
diff options
authorJunio C Hamano <>2014-01-14 18:26:21 (GMT)
committerJunio C Hamano <>2014-01-14 18:46:17 (GMT)
commitd51a47552a913dcd4ba436d529d092e4f38a3182 (patch)
tree69681d4f21625d17dee39f699598d3ca9b82b275 /Documentation
parent409b8d82dfc216ce5e89c81fdc2431dbf897c2d7 (diff)
Documentation: exclude irrelevant options from "git pull"
10eb64f5 (git pull manpage: don't include -n from fetch-options.txt, 2008-01-25) introduced a way to exclude some parts of included source when building git-pull documentation, and later 409b8d82 (Documentation/git-pull: put verbosity options before merge/fetch ones, 2010-02-24) attempted to use the mechanism to exclude some parts of merge-options.txt when used from git-pull.txt. However, the latter did not have an intended effect, because the macro "git-pull" used to decide if the source is included in git-pull documentation were defined a bit too late. Define the macro before it is used to fix this. Signed-off-by: Junio C Hamano <>
Diffstat (limited to 'Documentation')
1 files changed, 2 insertions, 2 deletions
diff --git a/Documentation/git-pull.txt b/Documentation/git-pull.txt
index d47f9dd..0e7a1fe 100644
--- a/Documentation/git-pull.txt
+++ b/Documentation/git-pull.txt
@@ -42,10 +42,10 @@ OPTIONS
Options related to merging
:git-pull: 1
Instead of a merge, perform a rebase after fetching. If
there is a remote ref for the upstream branch, and this branch