X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=distrib%2FMakefile;h=951ec7e40e5a929118c43bf635ae9349ebbe64dc;hb=ea9a5be67418ab76c4fa33736a3335b517c9e7f9;hp=ee8fc28150a786b9f7771f5d99c6ff7f63c420bc;hpb=a409bd50332817aef009143d1e7f56aa6e981e18;p=ghc-hetmet.git

diff --git a/distrib/Makefile b/distrib/Makefile
index ee8fc28..951ec7e 100644
--- a/distrib/Makefile
+++ b/distrib/Makefile
@@ -27,6 +27,7 @@ install::
 	$(MAKE) -C rts       install      DOING_BIN_DIST=YES
 	$(MAKE) -C libraries install      DOING_BIN_DIST=YES
 	$(MAKE) -C compiler  install      DOING_BIN_DIST=YES
+	$(MAKE) -C ghc       install      DOING_BIN_DIST=YES
 	$(MAKE) -C gmp       install      DOING_BIN_DIST=YES
 	$(MAKE) -C docs      install-docs DOING_BIN_DIST=YES
 	$(MAKE) -C libraries/Cabal/doc install-docs DOING_BIN_DIST=YES
@@ -47,10 +48,8 @@ ifneq "$(GREPPED_PATH)" ""
 	@echo To use, add $(bindir) to your PATH.
 	@echo
 endif
-	@if test -f share/html/index.html; then \
+	@if test -f $(htmldir)/index.html; then \
 	   echo For documentation, see $(htmldir)/index.html ; \
-	elif test -d share/html ; then \
-	   echo Docs can be found in $(htmldir). ; \
 	else \
 	   echo "Warning: this binary distribution does NOT contain documentation!" ; \
 	fi