- @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
+ @if test -d html ; then \
+ echo Docs can be found in $(htmldir). ; \
+ else \
+ echo "Warning: this binary distribution does NOT contain documentation!" ; \
+ fi
+ @echo =======================================================================