# HG changeset patch
# User Gerd Moellmann <gerd@gnu.org>
# Date 982931717 0
# Node ID 8132338647add3a6d68673f50f2a355e7f4cef44
# Parent  a16d8ed56e9cb4e1f2c738698ad6ad033e783848
(Major Entry Points): Remove doubled `the'.

diff -r a16d8ed56e9c -r 8132338647ad man/ediff.texi
--- a/man/ediff.texi	Fri Feb 23 12:33:31 2001 +0000
+++ b/man/ediff.texi	Fri Feb 23 12:35:17 2001 +0000
@@ -223,7 +223,7 @@
 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