aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--man/mule.texi2
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.
1302The resource value should have this form: 1302The 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