projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
tiny tweak to the stack squeezing heuristic (fixes cg060)
[ghc-hetmet.git]
/
distrib
/
Makefile
diff --git
a/distrib/Makefile
b/distrib/Makefile
index
ee8fc28
..
bfa3b91
100644
(file)
--- a/
distrib/Makefile
+++ b/
distrib/Makefile
@@
-47,10
+47,8
@@
ifneq "$(GREPPED_PATH)" ""
@echo To use, add $(bindir) to your PATH.
@echo
endif
@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 ; \
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
else \
echo "Warning: this binary distribution does NOT contain documentation!" ; \
fi