comparison man/xresources.texi @ 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 fd7d868143e8 858cb33ae39d
comparison
equal deleted inserted replaced
72101:c7e4f78b81a6 72102:51459eadddf2
962 @smallexample 962 @smallexample
963 -adobe-times-medium-r-normal--12-120-75-75-p-64-iso10646-1 963 -adobe-times-medium-r-normal--12-120-75-75-p-64-iso10646-1
964 @end smallexample 964 @end smallexample
965 965
966 @noindent 966 @noindent
967 the family name is ``times.'' 967 the family name is @samp{times}.
968 968
969 @noindent 969 @noindent
970 @var{style-options} is a whitespace separated list of words where each word 970 @var{style-options} is a whitespace separated list of words where each word
971 is a style, variant, weight, or stretch. The default value for all of 971 is a style, variant, weight, or stretch. The default value for all of
972 these is @code{normal}. 972 these is @code{normal}.