-install :: config-pkgs install-dirs install-bin install-libs install-datas postinstall
-
-.PHONY: 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 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