diff options
| -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. | |||
| 1302 | The resource value should have this form: | 1302 | The resource value should have this form: |
| 1303 | 1303 | ||
| 1304 | @smallexample | 1304 | @smallexample |
| 1305 | @var{fontpattern}, @r{[}@var{charsetname}:@var{fontname}@r{]@dots{}} | 1305 | @var{fontpattern}, @r{[}@var{charset}:@var{font}@r{]@dots{}} |
| 1306 | @end smallexample | 1306 | @end smallexample |
| 1307 | 1307 | ||
| 1308 | @noindent | 1308 | @noindent |