diff options
| author | Gerd Moellmann | 2001-02-23 12:46:54 +0000 |
|---|---|---|
| committer | Gerd Moellmann | 2001-02-23 12:46:54 +0000 |
| commit | 22f515a9805213fa907046e5271f76be28dc993e (patch) | |
| tree | 811ef31d11dc52858b82601d625fd6fac1f112cd | |
| parent | 44aad5e87b6d07f786fd25bc91eb8ff824b05a44 (diff) | |
| download | emacs-22f515a9805213fa907046e5271f76be28dc993e.tar.gz emacs-22f515a9805213fa907046e5271f76be28dc993e.zip | |
(Recognize Coding): Remove doubled `or'.
| -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 4ca9602a1f8..de873580286 100644 --- a/man/mule.texi +++ b/man/mule.texi | |||
| @@ -708,7 +708,7 @@ most coding systems can only handle some of the possible characters. | |||
| 708 | This means that you can insert characters that cannot be encoded with | 708 | This means that you can insert characters that cannot be encoded with |
| 709 | the coding system that will be used to save the buffer. For example, | 709 | the coding system that will be used to save the buffer. For example, |
| 710 | you could start with an ASCII file and insert a few Latin-1 characters | 710 | you could start with an ASCII file and insert a few Latin-1 characters |
| 711 | into it, or or you could edit a text file in Polish encoded in | 711 | into it, or you could edit a text file in Polish encoded in |
| 712 | @code{iso-8859-2} and add to it translations of several Polish words | 712 | @code{iso-8859-2} and add to it translations of several Polish words |
| 713 | into Russian. When you save the buffer, Emacs cannot use the current | 713 | into Russian. When you save the buffer, Emacs cannot use the current |
| 714 | value of @code{buffer-file-coding-system}, because the characters you | 714 | value of @code{buffer-file-coding-system}, because the characters you |