diff man/mule.texi @ 64459:c95935532bad

(Specify Coding): Delete duplicate words.
author Juri Linkov <juri@jurta.org>
date Mon, 18 Jul 2005 16:09:42 +0000
parents fcef9d2256d2
children f0a26f676016 187d6a1f84f7
line wrap: on
line diff
--- 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.