X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=distrib%2FMakefile-bin.in;h=9f991c76bb1ba99c88378e1eb458e16bb7222153;hb=1a8d01f99c116ea79fa765afc8f8f6129c5b270d;hp=4ab0e9a09a3493aa3c8a36af729d18b89d0bc734;hpb=7516738a036aac81e165d5e0a4973f1b1585a855;p=ghc-hetmet.git

diff --git a/distrib/Makefile-bin.in b/distrib/Makefile-bin.in
index 4ab0e9a..9f991c7 100644
--- a/distrib/Makefile-bin.in
+++ b/distrib/Makefile-bin.in
@@ -38,11 +38,11 @@
 #     if it clashes with your reality, I guess.
 #
 #  * htmldir
-#     where to install the documentation HTML files.
-#  * dvidir
-#     where to install the DVI files.
-#  * infodir
-#     where to install the Emacs info files
+#     where to install the HTML documentation files.
+#  * pdfdir
+#     where to install the PDF documentation files.
+#  * psdir
+#     where to install the Postscript documentation files.
 #
 # Installing the documentation is not done as part of the `install' rule, but
 # via `install-docs' (or if you want to be selective: `install-html', `install-dvi'
@@ -66,9 +66,9 @@ prefix      = @prefix@
 exec_prefix = @exec_prefix@
 
 # default
-infodir   = $(datadir)
-htmldir   = $(datadir)
-dvidir    = $(datadir)
+htmldir     = $(datadir)
+psdir       = $(datadir)
+pdfdir      = $(datadir)
 
 
 PERL        = @PerlCmd@
@@ -173,7 +173,7 @@ config-pkgs ::
 
 # Convert pwd's UNC reported path into DOS style
 # (cygwin32 only.)
-CURRENT_DIR = $(shell pwd | sed 's|^//\(.\)|\1:|' )
+CURRENT_DIR = `pwd | sed 's|^//\(.\)|\1:|'`
 
 in-place ::
 	$(MAKE) $(MFLAGS) config-pkgs bindir=$(CURRENT_DIR)/bin/$(platform) libdir=$(CURRENT_DIR)/lib/$(platform) datadir=$(CURRENT_DIR)/share
@@ -196,19 +196,20 @@ install :: config-pkgs install-dirs install-bin install-libs install-datas insta
 
 denounce:
 	@echo
-	@echo Installation of ghc-5.00 was successful.
+	@echo =======================================================================
+	@echo Installation of $(package)-$(version) 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
+	@if test -d html ; then \
+	   echo Docs can be found in $(htmldir). ; \
+	else \
+	   echo "Warning: this binary distribution does NOT contain documentation!" ; \
+	fi
+	@echo =======================================================================
 
 postinstall:
-	if test -x "./post-install-script" ; then \
+	@if test -x "./post-install-script" ; then \
 		echo "Running project-specific post-install script ..." ; \
-		./post-install-script $(platform) $(prefix) \
-			$(package)-$(version); \
+		./post-install-script $(platform) $(libdir) ; \
 		echo "Done" ; \
 	fi
 
@@ -255,8 +256,8 @@ show-install-setup:
 .PHONY: show-install-setup install-docs install-dirs-docs
 
 install-docs : install-dirs-docs
-	$(CP) -r html/* $(htmldir)
-	$(CP) ps/set.ps $(htmldir)/set/set.ps
+	if test -d html ; then $(CP) -r html/* $(htmldir) ; fi
+	if test -f ps/*.ps ; then $(CP) ps/*.ps $(psdir) ; fi
 
 install-dirs-docs:
 	$(INSTALL_DIR) $(htmldir)