aboutsummaryrefslogtreecommitdiffstats
path: root/doc
diff options
context:
space:
mode:
Diffstat (limited to 'doc')
-rw-r--r--doc/emacs/Makefile.in2
-rw-r--r--doc/lispintro/Makefile.in2
-rw-r--r--doc/lispref/Makefile.in2
-rw-r--r--doc/misc/Makefile.in2
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.
250install-doc: install-dvi install-html install-pdf install-ps 250install-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.
149install-doc: install-dvi install-html install-pdf install-ps 149install-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.
210install-doc: install-dvi install-html install-pdf install-ps 210install-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.
271install-doc: install-dvi install-html install-pdf install-ps 271install-doc: install-dvi install-html install-pdf install-ps
272 272
273 273