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