* text.texi (Editing Format Info): Use @samp for menus.
commitb8b4e743b77068d2b17a15daa2b0af325f9f9825
authorLars Ingebrigtsen <larsi@gnus.org>
Tue, 11 Feb 2014 06:34:29 +0000 (10 22:34 -0800)
committerLars Ingebrigtsen <larsi@gnus.org>
Tue, 11 Feb 2014 06:34:29 +0000 (10 22:34 -0800)
tree792048c4292e00d38e2d430d41a973b1ce6fe172
parente41fe0d346d78ea5e352a04a943fadadb46231ac
* text.texi (Editing Format Info): Use @samp for menus.

Fixes: debbugs:13736
doc/emacs/ChangeLog
doc/emacs/text.texi