From 927e8b470fc342fcdefa68a75ce01f3a45300dc7 Mon Sep 17 00:00:00 2001 From: Eli Zaretskii Date: Tue, 18 Jul 2023 15:57:01 +0300 Subject: [PATCH] ; * doc/lispref/keymaps.texi (Extended Menu Items): Add @pxref. --- doc/lispref/keymaps.texi | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/doc/lispref/keymaps.texi b/doc/lispref/keymaps.texi index 9e36d6716b9..66bb834192c 100644 --- a/doc/lispref/keymaps.texi +++ b/doc/lispref/keymaps.texi @@ -2506,7 +2506,8 @@ get a non-selectable menu item. This is mostly useful when creating separator lines and the like. The tail of the list, @var{item-property-list}, has the form of a -property list which contains other information. +property list (@pxref{Property Lists}) which contains other +information. Here is a table of the properties that are supported: -- 2.39.2