# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 991573521 0
# Node ID 553346e3d511fddf2ece8b79cca79d899a9feaa1
# Parent  39cfe73648c8cb7e34ba93fcecc6acf1fa85c2ef
Minor change.

diff -r 39cfe73648c8 -r 553346e3d511 man/basic.texi
--- a/man/basic.texi	Sat Jun 02 20:55:48 2001 +0000
+++ b/man/basic.texi	Sun Jun 03 13:05:21 2001 +0000
@@ -47,8 +47,8 @@
 labeled @key{DEL}, @key{BACKSPACE} or @key{DELETE} which is a short
 distance above the @key{RET} or @key{ENTER} key.  This is the key you
 normally use, outside Emacs, for erasing the last character that you
-typed.  Regardless of the label on that key, Emacs always thinks of it
-as @key{DEL}, and that's what we call it in this manual.
+typed.  Regardless of the label on that key, Emacs thinks of it as
+@key{DEL}, and that's what we call it in this manual.
 
   The @key{DEL} key deletes the character @emph{before} the cursor.
 As a consequence, the cursor and all the characters after it move