Minor clarification.

diff --git a/man/text.texi b/man/text.texi
index ad1d170ef8f012d95ac59bb1ee396633ee1d2d50..17a08667a10d66e6e075890c4004912f5722d060 100644 (file)
--- a/man/text.texi
+++ b/man/text.texi
@@ -1811,10 +1811,12 @@ lines, you may also want to set the justification style to
   There are two ways to alter the formatting information for a formatted
 text file: with keyboard commands, and with the mouse.
 
-  The easiest way to add properties to your document is by using the Text
+  The easiest way to add properties to your document is with the Text
 Properties menu.  You can get to this menu in two ways: from the Edit
-menu in the menu bar, or with @kbd{C-Mouse-2} (hold the @key{CTRL} key
-and press the middle mouse button).
+menu in the menu bar (use @kbd{@key{F10} e t} if you have no mouse),
+or with @kbd{C-Mouse-2} (hold the @key{CTRL} key and press the middle
+mouse button).  There are also keyboard commands described in the
+following section.
 
   Most of the items in the Text Properties menu lead to other submenus.
 These are described in the sections that follow.  Some items run