(Major Entry Points): Remove doubled `the'.

diff --git a/man/ediff.texi b/man/ediff.texi
index ce8ed1d14d01e8c5b4fc9cc62e6960fc5114433e..80c513ff7798793d9c4176f8c96c1eec5de0be00 100644 (file)
--- a/man/ediff.texi
+++ b/man/ediff.texi
@@ -223,7 +223,7 @@ prefix argument.  With an odd prefix argument, Ediff assumes the patch
 is in a file; with an even argument, a buffer is assumed.
 
 Note that @code{ediff-patch-file} will actually use the @code{patch}
-utility to change the the original files on disk.  This is not that
+utility to change the original files on disk.  This is not that
 dangerous, since you will always have the original contents of the file
 saved in another file that has the extension @file{.orig}.
 Furthermore, if the file is under version control, then you can always back