-install :: config-pkgs install-dirs install-bin install-libs install-datas
-
-.PHONY: install-bin install-libs install-datas
+install :: config-pkgs install-dirs install-bin install-libs install-datas install-docs postinstall denounce
+
+.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.
+ @if test -d html ; then \
+ 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 ; \
+ else \
+ echo "Warning: this binary distribution does NOT contain documentation!" ; \
+ fi
+
+postinstall:
+ @if test -x "./post-install-script" ; then \
+ echo "Running project-specific post-install script ..." ; \
+ ./post-install-script $(platform) $(libdir) ; \
+ echo "Done" ; \
+ fi