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

diff --git a/distrib/Makefile b/distrib/Makefile
index ee8fc28..bfa3b91 100644
--- a/distrib/Makefile
+++ b/distrib/Makefile
@@ -47,10 +47,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