diff options
| author | Juanma Barranquero | 2006-11-25 18:28:40 +0000 |
|---|---|---|
| committer | Juanma Barranquero | 2006-11-25 18:28:40 +0000 |
| commit | dda43d846f1bf0d8a66610ba4d40613ff62c9679 (patch) | |
| tree | d3bbf0b6b6a2e4c0f30c8b36eb4b1255fdb2f4a9 | |
| parent | 7dce1990fc9a46fae6e4450810add5918352bea4 (diff) | |
| download | emacs-dda43d846f1bf0d8a66610ba4d40613ff62c9679.tar.gz emacs-dda43d846f1bf0d8a66610ba4d40613ff62c9679.zip | |
(Defining Fontsets): Fix use of `charset' and `font'.
| -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 |