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 e12c07b5b73..0cd4c547242 100644 --- a/doc/misc/ediff.texi +++ b/doc/misc/ediff.texi @@ -1152,7 +1152,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 VMS, DOS, etc.) +on systems like DOS, etc.) @node Customization, Credits, Remote and Compressed Files, Top @chapter Customization |