Mention <what-key> under the key bindings documentation.

diff --git a/doc/manual.xml.head b/doc/manual.xml.head
index 75c0a023a86b8a550c5f2353eac87d112f973e2f..f91fc80e8f19f30cba19b032a08bb6121c25d786 100644 (file)
--- a/doc/manual.xml.head
+++ b/doc/manual.xml.head
@@ -2377,6 +2377,13 @@ addition, <emphasis>key</emphasis> may be a symbolic name as shown in
 </tgroup>
 </table>
 
+<para>
+The <literal>&lt;what-key&gt;</literal> function can be used to
+explore keycode and symbolic names for other keys on your keyboard.
+Executing this function will display information about each key
+pressed, until terminated by <literal>^G</literal>.
+</para>
+
 <para>
 <emphasis>key</emphasis> does not need to be enclosed in quotes unless
 it contains a space (<quote>&nbsp;</quote>) or semi-colon