summaryrefslogtreecommitdiff
path: root/Documentation/fetch-options.txt
diff options
context:
space:
mode:
authorÆvar Arnfjörð Bjarmason <avarab@gmail.com>2018-02-09 20:32:13 (GMT)
committerJunio C Hamano <gitster@pobox.com>2018-02-09 21:10:12 (GMT)
commit627a129b46530773369586f7982925fd41dc7227 (patch)
tree1e79967b746caac777d32fbcd4fe1b9a685664c1 /Documentation/fetch-options.txt
parentd0e07472faa938c83e9b1f76567f16614672668c (diff)
downloadgit-627a129b46530773369586f7982925fd41dc7227.zip
git-627a129b46530773369586f7982925fd41dc7227.tar.gz
git-627a129b46530773369586f7982925fd41dc7227.tar.bz2
git-fetch & config doc: link to the new PRUNING section
Amend the documentation for fetch.prune, fetch.<name>.prune and --prune to link to the recently added PRUNING section. I'd have liked to link directly to it with "<<PRUNING>>" from fetch-options.txt, since it's included in git-fetch.txt (git-pull.txt also includes it, but doesn't include that option). However making a reference across files yields this error: [...]/Documentation/git-fetch.xml:226: element xref: validity error : IDREF attribute linkend references an unknown ID "PRUNING" Signed-off-by: Ævar Arnfjörð Bjarmason <avarab@gmail.com> Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/fetch-options.txt')
-rw-r--r--Documentation/fetch-options.txt3
1 files changed, 3 insertions, 0 deletions
diff --git a/Documentation/fetch-options.txt b/Documentation/fetch-options.txt
index fb6bebb..9f5c85a 100644
--- a/Documentation/fetch-options.txt
+++ b/Documentation/fetch-options.txt
@@ -74,6 +74,9 @@ ifndef::git-pull[]
line or in the remote configuration, for example if the remote
was cloned with the --mirror option), then they are also
subject to pruning.
++
+See the PRUNING section below for more details.
+
endif::git-pull[]
ifndef::git-pull[]