From 80fc678acd40be9369fbe49bba197378e10cb931 Mon Sep 17 00:00:00 2001
From: Bastien <bzg@gnu.org>
Date: Sun, 2 Feb 2020 08:34:33 +0100
Subject: [PATCH] doc/org-manual.org: Don't document deleted command

* doc/org-manual.org (Remote editing): Don't document deleted command.
---
 doc/org-manual.org | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/doc/org-manual.org b/doc/org-manual.org
index 70a654647..7446af85c 100644
--- a/doc/org-manual.org
+++ b/doc/org-manual.org
@@ -9780,12 +9780,6 @@ the other commands, point needs to be in the desired line.
   priority character.  If you reply with {{{kbd(SPC)}}}, the priority
   cookie is removed from the entry.
 
-- {{{kbd(P)}}} (~org-agenda-show-priority~) ::
-
-  #+kindex: P
-  #+findex: org-agenda-show-priority
-  Display weighted priority of current item.
-
 - {{{kbd(+)}}} or {{{kbd(S-UP)}}} (~org-agenda-priority-up~) ::
 
   #+kindex: +