changeset 74189:affcf7c0ac19

(Defining Fontsets): Fix use of `charset' and `font'.
author Juanma Barranquero <lekktu@gmail.com>
date Sat, 25 Nov 2006 18:28:40 +0000
parents eef51c4e9942
children c1d05e32a15a
files man/mule.texi
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/man/mule.texi	Sat Nov 25 15:47:10 2006 +0000
+++ b/man/mule.texi	Sat Nov 25 18:28:40 2006 +0000
@@ -1302,7 +1302,7 @@
 The resource value should have this form:
 
 @smallexample
-@var{fontpattern}, @r{[}@var{charsetname}:@var{fontname}@r{]@dots{}}
+@var{fontpattern}, @r{[}@var{charset}:@var{font}@r{]@dots{}}
 @end smallexample
 
 @noindent