# HG changeset patch
# User Gerd Moellmann <gerd@gnu.org>
# Date 982932414 0
# Node ID 86322cde2e42ae23362e81b77f0ce55e2939fc1a
# Parent  a0141ceb7edc1ae6d776aee8a55237d3e09b4d79
(Recognize Coding): Remove doubled `or'.

diff -r a0141ceb7edc -r 86322cde2e42 man/mule.texi
--- a/man/mule.texi	Fri Feb 23 12:43:39 2001 +0000
+++ b/man/mule.texi	Fri Feb 23 12:46:54 2001 +0000
@@ -708,7 +708,7 @@
 This means that you can insert characters that cannot be encoded with
 the coding system that will be used to save the buffer.  For example,
 you could start with an ASCII file and insert a few Latin-1 characters
-into it, or or you could edit a text file in Polish encoded in
+into it, or you could edit a text file in Polish encoded in
 @code{iso-8859-2} and add to it translations of several Polish words
 into Russian.  When you save the buffer, Emacs cannot use the current
 value of @code{buffer-file-coding-system}, because the characters you