- @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: ;\
+ 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