From dda43d846f1bf0d8a66610ba4d40613ff62c9679 Mon Sep 17 00:00:00 2001 From: Juanma Barranquero Date: Sat, 25 Nov 2006 18:28:40 +0000 Subject: [PATCH] (Defining Fontsets): Fix use of `charset' and `font'. --- man/mule.texi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/man/mule.texi b/man/mule.texi index 9437e30f485..e9a30301ed8 100644 --- a/man/mule.texi +++ b/man/mule.texi @@ -1302,7 +1302,7 @@ menus cannot handle fontsets. 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 -- 2.39.2