diff options
Diffstat (limited to 'doc/misc/ediff.texi')
| -rw-r--r-- | doc/misc/ediff.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/misc/ediff.texi b/doc/misc/ediff.texi index cf4438c8bad..edb2a446cf5 100644 --- a/doc/misc/ediff.texi +++ b/doc/misc/ediff.texi @@ -1148,7 +1148,7 @@ packages also use this method). Regular files are treated by the @code{patch} utility in the usual manner, i.e., the original is renamed into @file{source-name.orig} and the result of the patch is placed into the file source-name (@file{_orig} is used -on systems like DOS, etc.) +on systems like DOS, etc.). @node Customization, Credits, Remote and Compressed Files, Top @chapter Customization |