diff options
| author | sewardj <unknown> | 2001-04-10 13:52:31 +0000 |
|---|---|---|
| committer | sewardj <unknown> | 2001-04-10 13:52:31 +0000 |
| commit | 7516738a036aac81e165d5e0a4973f1b1585a855 (patch) | |
| tree | 96e0f1bcb5b3b58d9c415929f0a420e0a24d2d7f /distrib/Makefile-bin.in | |
| parent | 729d39b8d4589e632c3783c390b055261dc2abb5 (diff) | |
| download | haskell-7516738a036aac81e165d5e0a4973f1b1585a855.tar.gz | |
[project @ 2001-04-10 13:52:31 by sewardj]
Make installation of documentation in binary dists work properly.
Also install documentation by default for make install.
Diffstat (limited to 'distrib/Makefile-bin.in')
| -rw-r--r-- | distrib/Makefile-bin.in | 40 |
1 files changed, 17 insertions, 23 deletions
diff --git a/distrib/Makefile-bin.in b/distrib/Makefile-bin.in index 747a2fd27d..4ab0e9a09a 100644 --- a/distrib/Makefile-bin.in +++ b/distrib/Makefile-bin.in @@ -190,9 +190,19 @@ install-dirs :: (cd lib/$(platform); find . -type d -exec sh -c '../../$(INSTALL_DIR) $$0 $(libdir)/$$0' {} \; ) (cd share; find . -type d -exec sh -c '../$(INSTALL_DIR) $(datadir)/$$0' {} \; ) -install :: config-pkgs install-dirs install-bin install-libs install-datas postinstall +install :: config-pkgs install-dirs install-bin install-libs install-datas install-docs postinstall denounce -.PHONY: install-bin install-libs install-datas postinstall +.PHONY: install-bin install-libs install-datas postinstall denounce + +denounce: + @echo + @echo Installation of ghc-5.00 was successful. + @echo To use, add $(bindir) to your PATH. + @echo Docs: + @echo " GHC User Guide is $(htmldir)/set/book-users-guide.html" + @echo " Libraries Guide is $(htmldir)/set/book-hslibs.html" + @echo " .ps form of both is in $(htmldir)/set/set.ps" + @echo postinstall: if test -x "./post-install-script" ; then \ @@ -239,31 +249,15 @@ show-install-setup: @echo "datadir = $(datadir) (datadir = $(datadir))" # -# Documentation targets, install-docs for the whole lot, or -# install-{dvi,html,info} +# Documentation targets: install-docs. # -.PHONY: show-install-setup install-docs install-html install-info install-dirs-dvi install-dirs-html install-dirs-info - -install-docs : install-html install-dvi install-info - -install-dvi: install-dirs-dvi - $(INSTALL_DATA) dvi/* $(dvidir) +.PHONY: show-install-setup install-docs install-dirs-docs -install-info: install-dirs-info - $(INSTALL_DATA) info/* $(infodir) - -install-html: install-dirs-html +install-docs : install-dirs-docs $(CP) -r html/* $(htmldir) - $(CHMOD) -R $(LIB_PERMS) $(htmldir) -# $(INSTALL_DATA) html/* $(htmldir) + $(CP) ps/set.ps $(htmldir)/set/set.ps -install-dirs-html: +install-dirs-docs: $(INSTALL_DIR) $(htmldir) -install-dirs-info: - $(INSTALL_DIR) $(infodir) - -install-dirs-dvi: - $(INSTALL_DIR) $(dvidir) - |