diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/emacs/Makefile.in | 2 | ||||
| -rw-r--r-- | doc/lispintro/Makefile.in | 2 | ||||
| -rw-r--r-- | doc/lispref/Makefile.in | 2 | ||||
| -rw-r--r-- | doc/misc/Makefile.in | 2 |
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 | |||
| 246 | ${GZIP_PROG} -9n "$(DESTDIR)$(psdir)/$${file}"; \ | 246 | ${GZIP_PROG} -9n "$(DESTDIR)$(psdir)/$${file}"; \ |
| 247 | done | 247 | done |
| 248 | 248 | ||
| 249 | ## Top-level Makefile installs the info pages. | 249 | ## Top-level Makefile installs the Info manuals. |
| 250 | install-doc: install-dvi install-html install-pdf install-ps | 250 | install-doc: install-dvi install-html install-pdf install-ps |
| 251 | 251 | ||
| 252 | 252 | ||
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 | |||
| 145 | ${GZIP_PROG} -9n "$(DESTDIR)$(psdir)/$${file}"; \ | 145 | ${GZIP_PROG} -9n "$(DESTDIR)$(psdir)/$${file}"; \ |
| 146 | done | 146 | done |
| 147 | 147 | ||
| 148 | ## Top-level Makefile installs the info pages. | 148 | ## Top-level Makefile installs the Info manuals. |
| 149 | install-doc: install-dvi install-html install-pdf install-ps | 149 | install-doc: install-dvi install-html install-pdf install-ps |
| 150 | 150 | ||
| 151 | 151 | ||
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 | |||
| 206 | ${GZIP_PROG} -9n "$(DESTDIR)$(psdir)/$${file}"; \ | 206 | ${GZIP_PROG} -9n "$(DESTDIR)$(psdir)/$${file}"; \ |
| 207 | done | 207 | done |
| 208 | 208 | ||
| 209 | ## Top-level Makefile installs the info pages. | 209 | ## Top-level Makefile installs the Info manuals. |
| 210 | install-doc: install-dvi install-html install-pdf install-ps | 210 | install-doc: install-dvi install-html install-pdf install-ps |
| 211 | 211 | ||
| 212 | 212 | ||
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 | ||