diff options
| author | Stefan Kangas | 2020-01-23 02:25:31 +0100 |
|---|---|---|
| committer | Stefan Kangas | 2020-01-23 14:44:27 +0100 |
| commit | a15a0cf69ede156df6f3441ffbfb1cb9be24909b (patch) | |
| tree | db959b1f5bf7a7195923921fd583fac03aac6e5f /doc/misc | |
| parent | 8fbc2fd492b714c612a96add0b9572d87eb4e785 (diff) | |
| download | emacs-a15a0cf69ede156df6f3441ffbfb1cb9be24909b.tar.gz emacs-a15a0cf69ede156df6f3441ffbfb1cb9be24909b.zip | |
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/misc')
| -rw-r--r-- | doc/misc/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/misc/Makefile.in b/doc/misc/Makefile.in index 0a26a26ee32..7f536ad9529 100644 --- a/doc/misc/Makefile.in +++ b/doc/misc/Makefile.in | |||
| @@ -267,7 +267,7 @@ install-ps: ps | |||
| 267 | ${GZIP_PROG} -9n "$(DESTDIR)$(psdir)/$${file}"; \ | 267 | ${GZIP_PROG} -9n "$(DESTDIR)$(psdir)/$${file}"; \ |
| 268 | done | 268 | done |
| 269 | 269 | ||
| 270 | ## Top-level Makefile installs the info pages. | 270 | ## Top-level Makefile installs the Info manuals. |
| 271 | install-doc: install-dvi install-html install-pdf install-ps | 271 | install-doc: install-dvi install-html install-pdf install-ps |
| 272 | 272 | ||
| 273 | 273 | ||