changeset 72102:51459eadddf2

(GTK styles): Fix texinfo usage.
author Richard M. Stallman <rms@gnu.org>
date Mon, 24 Jul 2006 17:48:52 +0000
parents c7e4f78b81a6
children a37e229962ce
files man/xresources.texi
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/man/xresources.texi	Mon Jul 24 17:48:06 2006 +0000
+++ b/man/xresources.texi	Mon Jul 24 17:48:52 2006 +0000
@@ -964,7 +964,7 @@
 @end smallexample
 
 @noindent
-the family name is ``times.''
+the family name is @samp{times}.
 
 @noindent
 @var{style-options} is a whitespace separated list of words where each word