diff options
| author | Eli Zaretskii | 2017-12-01 10:26:58 +0200 |
|---|---|---|
| committer | Eli Zaretskii | 2017-12-01 10:26:58 +0200 |
| commit | 9292276a444bb3a150f563fd2564319f260aa43d (patch) | |
| tree | bb42f309e3cc6a52dcd31f1c349dc7d682ea16ad | |
| parent | 42509c064910073a4d7ad2b9c7e17bbd7b30ac9b (diff) | |
| download | emacs-9292276a444bb3a150f563fd2564319f260aa43d.tar.gz emacs-9292276a444bb3a150f563fd2564319f260aa43d.zip | |
Fix a typo in the Emacs manual
* doc/emacs/abbrevs.texi (Abbrev Concepts): Fix a typo. Reported
by clemens.radermacher@posteo.de in emacs-manual-bugs@gnu.org.
| -rw-r--r-- | doc/emacs/abbrevs.texi | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/emacs/abbrevs.texi b/doc/emacs/abbrevs.texi index 117d07e2814..5f400a2399a 100644 --- a/doc/emacs/abbrevs.texi +++ b/doc/emacs/abbrevs.texi | |||
| @@ -62,8 +62,8 @@ definition for the current major mode overrides a global definition. | |||
| 62 | 62 | ||
| 63 | You can define abbrevs interactively during the editing session, | 63 | You can define abbrevs interactively during the editing session, |
| 64 | irrespective of whether Abbrev mode is enabled. You can also save | 64 | irrespective of whether Abbrev mode is enabled. You can also save |
| 65 | lists of abbrev definitions in files, which you can the reload for use | 65 | lists of abbrev definitions in files, which you can then reload for |
| 66 | in later sessions. | 66 | use in later sessions. |
| 67 | 67 | ||
| 68 | @node Defining Abbrevs | 68 | @node Defining Abbrevs |
| 69 | @section Defining Abbrevs | 69 | @section Defining Abbrevs |