diff options
| author | Juanma Barranquero <lekktu@gmail.com> | 2006-11-25 18:28:40 +0000 |
|---|---|---|
| committer | Juanma Barranquero <lekktu@gmail.com> | 2006-11-25 18:28:40 +0000 |
| commit | e411bee19f8e86dcbb4e6518e73266c9d5328381 (patch) | |
| tree | b8d2677f2f997593c70294bef7e70fdac18c84ce /man | |
| parent | e63895bc1143983f8c9bb67b01a44c9ebe35447a (diff) | |
| download | emacs-e411bee19f8e86dcbb4e6518e73266c9d5328381.tar.gz | |
(Defining Fontsets): Fix use of `charset' and `font'.
Diffstat (limited to 'man')
| -rw-r--r-- | man/mule.texi | 2 |
1 files changed, 1 insertions, 1 deletions
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 |