Makefile: do not clean arm directory

diff --git a/Documentation/fetch-options.txt b/Documentation/fetch-options.txt
index 500637a08b9f45a14052d0273d4a79c4e91fddbd..ab6419fe6e44c7008cbff4e1fae48a70cfb82ac0 100644 (file)
--- a/Documentation/fetch-options.txt
+++ b/Documentation/fetch-options.txt
@@ -12,6 +12,11 @@
        `git clone` with `--depth=<depth>` option (see linkgit:git-clone[1])
        by the specified number of commits.
 
+ifndef::git-pull[]
+--dry-run::
+       Show what would be done, without making any changes.
+endif::git-pull[]
+
 -f::
 --force::
        When 'git-fetch' is used with `<rbranch>:<lbranch>`