diff options
| author | Stefan Kangas <stefankangas@gmail.com> | 2020-01-23 02:25:31 +0100 |
|---|---|---|
| committer | Stefan Kangas <stefankangas@gmail.com> | 2020-01-23 02:36:04 +0100 |
| commit | d15f2d4cbcd203d04737d56ee77676e25db6745a (patch) | |
| tree | a04297b1d758b1e06ebff024a24bd36bd036730e /doc/lispintro | |
| parent | 92f080dda8892861be7c175dc57f71dee0909d82 (diff) | |
| download | emacs-d15f2d4cbcd203d04737d56ee77676e25db6745a.tar.gz | |
Prefer saying "Info manual" to "info page" in docs
Pointed out by Eli Zaretskii in:
https://debbugs.gnu.org/cgi/bugreport.cgi?bug=39215#14
* doc/emacs/Makefile.in:
* doc/lispintro/Makefile.in:
* doc/lispref/Makefile.in:
* doc/misc/Makefile.in:
* lisp/dired-x.el (top-level):
* lisp/gnus/gnus-sum.el (gnus-summary-mode):
* lisp/progmodes/cperl-mode.el (cperl-info-page): Doc fix; prefer
saying "Info manual" over "info page".
Diffstat (limited to 'doc/lispintro')
| -rw-r--r-- | doc/lispintro/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/lispintro/Makefile.in b/doc/lispintro/Makefile.in index 3b668f5b347..7a2b6f0a580 100644 --- a/doc/lispintro/Makefile.in +++ b/doc/lispintro/Makefile.in @@ -145,7 +145,7 @@ install-ps: ps ${GZIP_PROG} -9n "$(DESTDIR)$(psdir)/$${file}"; \ done -## Top-level Makefile installs the info pages. +## Top-level Makefile installs the Info manuals. install-doc: install-dvi install-html install-pdf install-ps |