diff options
| author | Richard M. Stallman | 2001-06-03 13:05:21 +0000 |
|---|---|---|
| committer | Richard M. Stallman | 2001-06-03 13:05:21 +0000 |
| commit | bf1a7e141d2212e62c1dc4ba065cba0caf320fef (patch) | |
| tree | de7d0a0f767bc02ad26802ddda9d2bad10c24303 | |
| parent | ab25a0c78f8e779aa34fb2cd5d6b0ae9e3685594 (diff) | |
| download | emacs-bf1a7e141d2212e62c1dc4ba065cba0caf320fef.tar.gz emacs-bf1a7e141d2212e62c1dc4ba065cba0caf320fef.zip | |
Minor change.
| -rw-r--r-- | man/basic.texi | 4 |
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}. | |||
| 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 |