diff options
| author | sewardj <unknown> | 2001-04-23 10:34:23 +0000 |
|---|---|---|
| committer | sewardj <unknown> | 2001-04-23 10:34:23 +0000 |
| commit | 50faeaf429a0671e2aaaec46851ffecf02e5ec7f (patch) | |
| tree | 23facc3bbd6fba43eb83911c68718ef06a7ff853 /distrib/Makefile-bin.in | |
| parent | 708fad0ac01149d2d4a401e994d036f4a5c11116 (diff) | |
| download | haskell-50faeaf429a0671e2aaaec46851ffecf02e5ec7f.tar.gz | |
[project @ 2001-04-23 10:34:23 by sewardj]
merge rev 1.42.2.1
Diffstat (limited to 'distrib/Makefile-bin.in')
| -rw-r--r-- | distrib/Makefile-bin.in | 18 |
1 files changed, 11 insertions, 7 deletions
diff --git a/distrib/Makefile-bin.in b/distrib/Makefile-bin.in index 4ab0e9a09a..a7cbb4ab48 100644 --- a/distrib/Makefile-bin.in +++ b/distrib/Makefile-bin.in @@ -198,11 +198,15 @@ denounce: @echo @echo Installation of ghc-5.00 was successful. @echo To use, add $(bindir) to your PATH. - @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 postinstall: if test -x "./post-install-script" ; then \ @@ -255,8 +259,8 @@ show-install-setup: .PHONY: show-install-setup install-docs install-dirs-docs install-docs : install-dirs-docs - $(CP) -r html/* $(htmldir) - $(CP) ps/set.ps $(htmldir)/set/set.ps + if test -d html ; then $(CP) -r html/* $(htmldir) ; fi + if test -f ps/set.ps ; then $(CP) ps/set.ps $(htmldir)/set/set.ps ; fi install-dirs-docs: $(INSTALL_DIR) $(htmldir) |