From 3972d4fc6dae2e286896557f8da79cbd4124d583 Mon Sep 17 00:00:00 2001 From: Simon Marlow Date: Wed, 8 Feb 2006 15:32:59 +0000 Subject: [PATCH] fix installation of binary dist when the PS docs aren't present Fixes #660 --- distrib/Makefile-bin.in | 13 ++++++++++++- 1 file changed, 12 insertions(+), 1 deletion(-) diff --git a/distrib/Makefile-bin.in b/distrib/Makefile-bin.in index 2175b74..3e4c4ed 100644 --- a/distrib/Makefile-bin.in +++ b/distrib/Makefile-bin.in @@ -1,3 +1,12 @@ +package = ghc +version = 6.5.20060205 +PACKAGE_SH_SCRIPTS = ghc-6.5.20060205 ghci-6.5.20060205 ghc-pkg-6.5.20060205 hsc2hs +PACKAGE_PRL_SCRIPTS = ghcprof +PACKAGE_LIB_PRL_SCRIPTS = ghc-asm ghc-split +PACKAGE_LIB_SPLICED_FILES = package.conf +PACKAGE_BINS = hp2ps runghc +PACKAGE_OPT_BINS = runhaskell +PACKAGE_LINKS = ghc ghci ghc-pkg # # @configure_input@ # @@ -272,7 +281,9 @@ show-install-setup: install-docs : install-dirs-docs if test -d share/html ; then $(CP) -r share/html/* $(htmldir) ; fi for i in share/*.ps; do \ - $(CP) $$i $(psdir) ; \ + if test -f "$$i"; then \ + $(CP) $$i $(psdir) ; \ + fi \ done install-dirs-docs: -- 1.7.10.4