# HG changeset patch
# User Juanma Barranquero <lekktu@gmail.com>
# Date 1164479320 0
# Node ID affcf7c0ac19d8d649003da901e409e36fa9cccb
# Parent  eef51c4e9942bb354c34bbbf394d4c1d85e07ccb
(Defining Fontsets): Fix use of `charset' and `font'.

diff -r eef51c4e9942 -r affcf7c0ac19 man/mule.texi
--- 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