[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.

3 files changed, 50 insertions, 24 deletions

diff --git a/distrib/INSTALL b/distrib/INSTALL
index d4f722c07b..679c62124e 100644
--- a/distrib/INSTALL
+++ b/distrib/INSTALL
@@ -1,3 +1,33 @@
+
+--------------------------------------------------------------------
+
+The short story (if you are installing GHC from a binary dist):
+
+- Decide where you want to install it.
+- Do    ./configure --prefix=where-i-want-to-install-it
+- Do    make install
+
+That installs everything - the compiler, interactive system,
+libraries, and documentation.  At the end of 'make install' you will
+be informed of what you need to add to your PATH, and also the
+location of the documentation.
+
+Linux users: GHCi-5.00 needs libreadline.so.3.  Newer Linuxes (SuSE
+7.1, possibly RH 7.X, possibly Mandrake 8.X) only come with
+libreadline.so.4.  If you need libreadline.so.3 and only have the .4
+version, you might be able to get things working by making a symbolic
+link from libreadline.so.4 to libreadline.so.3.  We tried this on a
+SuSE 7.1 box and it seemed to work.
+
+If something doesn't work as it should, please contact us at
+glasgow-haskell-bugs@haskell.org.
+
+JRS, 10 April 2001.
+
+--------------------------------------------------------------------
+
+The Long Story
+
 This is the INSTALL instructions for a binary distribution of one of
 the fptools projects. For more details on what on earth this package
 is up to, please consult the README and ANNOUNCE.
@@ -49,3 +79,5 @@ Bug reports/suggestions for improvement to the installation procedure/setup
 gratefully received at glasgow-haskell-bugs@haskell.org
 
 Enjoy.
+
+--------------------------------------------------------------------
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) 
-
diff --git a/distrib/configure-bin.in b/distrib/configure-bin.in
index 2dd90f03e6..2c42b52569 100644
--- a/distrib/configure-bin.in
+++ b/distrib/configure-bin.in
@@ -139,6 +139,6 @@ AC_OUTPUT(Makefile)
 
 echo "****************************************************"
 echo "Configuration done, ready to either 'make install'"
-echo "or 'make in-place', followed by 'make install-docs'."
+echo "or 'make in-place'."
 echo "(see README and INSTALL files for more info.)"
 echo "****************************************************"