diff options
| author | Eli Zaretskii <eliz@gnu.org> | 2020-09-27 09:09:27 +0300 |
|---|---|---|
| committer | Eli Zaretskii <eliz@gnu.org> | 2020-09-27 09:09:27 +0300 |
| commit | 0b78785a9b5ff475ea65c67b686a1ac19e5d858a (patch) | |
| tree | 35fe0aa4f19c868b21786bea8c1e67b8c897972a /doc/emacs/emacs.texi | |
| parent | 0dfc6fdc1f15cf234c3efc4152275ed1c8441df5 (diff) | |
| download | emacs-0b78785a9b5ff475ea65c67b686a1ac19e5d858a.tar.gz | |
Minor copyedits in the Emacs user manual
* doc/emacs/emacs.texi (Top): Remove "real-time" from the Emacs
description; add "advanced", to be consistent with what we say in
the Introduction section. (Bug#43633)
Diffstat (limited to 'doc/emacs/emacs.texi')
| -rw-r--r-- | doc/emacs/emacs.texi | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/doc/emacs/emacs.texi b/doc/emacs/emacs.texi index 6b82aeb8234..a28b16aa39e 100644 --- a/doc/emacs/emacs.texi +++ b/doc/emacs/emacs.texi @@ -108,10 +108,9 @@ Cover art by Etienne Suvasa; cover design by Matt Lee. @node Top @top The Emacs Editor -Emacs is the extensible, customizable, self-documenting real-time -display editor. This manual describes how to edit with Emacs and -some of the ways to customize it; it corresponds to GNU Emacs version -@value{EMACSVER}. +Emacs is the advanced, extensible, customizable, self-documenting +editor. This manual describes how to edit with Emacs and some of the +ways to customize it; it corresponds to GNU Emacs version @value{EMACSVER}. @c See 'manual-html-mono' and 'manual-html-node' in admin/admin.el. @ifset WWW_GNU_ORG |