#9279: remove the pdb.doc file, put its contents in pdb.__doc__.  Also sync this and the pdb docs, introduce a new directive for pdb commands and a role to link to them.
diff --git a/Doc/documenting/markup.rst b/Doc/documenting/markup.rst
index 6b54c5b..25d1457 100644
--- a/Doc/documenting/markup.rst
+++ b/Doc/documenting/markup.rst
@@ -503,7 +503,7 @@
 .. describe:: option
 
    A command-line option to an executable program.  The leading hyphen(s) must
-   be included.
+   be included.  If a matching ``cmdoption`` directive exists, it is linked to.
 
 .. describe:: program