From 1b79d1c2a8a90419238f7213870ab1dc465082fe Mon Sep 17 00:00:00 2001
From: Oren Held <oren@held.org.il>
Date: Tue, 13 Jul 2010 15:01:40 +0300
Subject: [PATCH] git fetch documentation: describe short '-p' synonym to
 '--prune' option

It's already implemented, just undocumented.

Signed-off-by: Oren Held <orenhe@il.ibm.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
---
 Documentation/fetch-options.txt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Documentation/fetch-options.txt b/Documentation/fetch-options.txt
index 044ec882cc..9333c42c55 100644
--- a/Documentation/fetch-options.txt
+++ b/Documentation/fetch-options.txt
@@ -34,6 +34,7 @@ ifndef::git-pull[]
 	Allow several <repository> and <group> arguments to be
 	specified. No <refspec>s may be specified.
 
+-p::
 --prune::
 	After fetching, remove any remote tracking branches which
 	no longer exist	on the remote.