# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 1153763332 0
# Node ID 51459eadddf265a11612f9f5532c72ac12c7e3a7
# Parent  c7e4f78b81a661b1826ade1690f704ce76768536
(GTK styles): Fix texinfo usage.

diff -r c7e4f78b81a6 -r 51459eadddf2 man/xresources.texi
--- 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