additions from Reilly Hayes

[ghc-hetmet.git] / distrib / Makefile-bin.in

diff --git a/distrib/Makefile-bin.in b/distrib/Makefile-bin.in
index 2175b74..6df1e05 100644 (file)
--- a/distrib/Makefile-bin.in
+++ b/distrib/Makefile-bin.in
@@ -272,7 +272,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: