Documentation: avoid xmlto input error

diff --git a/Documentation/fetch-options.txt b/Documentation/fetch-options.txt
index d313795fdbc420e3395adc42aebe82fabda037d4..5eb2b0ee07b2f4e81e909a103f486c1a6d2dc6cb 100644 (file)
--- a/Documentation/fetch-options.txt
+++ b/Documentation/fetch-options.txt
@@ -1,11 +1,13 @@
+ifndef::git-pull[]
 -q::
 --quiet::
        Pass --quiet to git-fetch-pack and silence any other internally
-       used programs.
+       used git commands.
 
 -v::
 --verbose::
        Be verbose.
+endif::git-pull[]
 
 -a::
 --append::