1 files changed, 2 insertions, 2 deletions
diff --git a/man/basic.texi b/man/basic.texi
index cada16712df..8abfecfd865 100644
--- a/man/basic.texi
+++ b/man/basic.texi
@@ -47,8 +47,8 @@ still before the @samp{B}.
 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
+typed.  Regardless of the label on that key, Emacs thinks of it as
-as @key{DEL}, and that's what we call it in this manual.
+@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

diff --git a/man/basic.texi b/man/basic.texi index cada16712df..8abfecfd865 100644 --- a/man/basic.texi +++ b/man/basic.texi
@@ -47,8 +47,8 @@ still before the @samp{B}.
47	labeled @key{DEL}, @key{BACKSPACE} or @key{DELETE} which is a short	47	labeled @key{DEL}, @key{BACKSPACE} or @key{DELETE} which is a short
48	distance above the @key{RET} or @key{ENTER} key. This is the key you	48	distance above the @key{RET} or @key{ENTER} key. This is the key you
49	normally use, outside Emacs, for erasing the last character that you	49	normally use, outside Emacs, for erasing the last character that you
50	typed. Regardless of the label on that key, Emacs always thinks of it	50	typed. Regardless of the label on that key, Emacs thinks of it as
51	as @key{DEL}, and that's what we call it in this manual.	51	@key{DEL}, and that's what we call it in this manual.
52		52
53	The @key{DEL} key deletes the character @emph{before} the cursor.	53	The @key{DEL} key deletes the character @emph{before} the cursor.
54	As a consequence, the cursor and all the characters after it move	54	As a consequence, the cursor and all the characters after it move