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".

4 files changed, 4 insertions, 4 deletions

diff --git a/doc/emacs/Makefile.in b/doc/emacs/Makefile.in
index cbda862c4d7..53b7d074512 100644
--- a/doc/emacs/Makefile.in
+++ b/doc/emacs/Makefile.in
@@ -246,7 +246,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
 
 
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
 
 
diff --git a/doc/lispref/Makefile.in b/doc/lispref/Makefile.in
index 1705852f990..bd650091116 100644
--- a/doc/lispref/Makefile.in
+++ b/doc/lispref/Makefile.in
@@ -206,7 +206,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
 
 
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
           ${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