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