diff options
Diffstat (limited to 'doc/emacs/Makefile.in')
| -rw-r--r-- | doc/emacs/Makefile.in | 2 |
1 files changed, 1 insertions, 1 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 |