# HG changeset patch
# User Juri Linkov <juri@jurta.org>
# Date 1121702982 0
# Node ID c95935532bad8a1a989814ad0d6cacec4db997b2
# Parent  53ac34aeef7d1eb5d31e90ed828df641decc71d3
(Specify Coding): Delete duplicate words.

diff -r 53ac34aeef7d -r c95935532bad man/mule.texi
--- a/man/mule.texi	Mon Jul 18 16:09:02 2005 +0000
+++ b/man/mule.texi	Mon Jul 18 16:09:42 2005 +0000
@@ -1105,7 +1105,7 @@
 
 @findex recode-file-name
   If a mistake occurs when encoding a file name, use the command
-command @kbd{M-x recode-file-name} to change the file name's coding
+@kbd{M-x recode-file-name} to change the file name's coding
 system.  This prompts for an existing file name, its old coding
 system, and the coding system to which you wish to convert.