X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=distrib%2FMakefile-bin.in;h=6df1e056d8ad176af0d4ba4900b820ef4031b6d3;hp=2175b7490321d81e089dfdd7328972503f2c970c;hb=a3e027a34f5e956da3875ab629aa2427e520f879;hpb=15e008483d1934c183f587aaa4fb42dc326095dc

diff --git a/distrib/Makefile-bin.in b/distrib/Makefile-bin.in
index 2175b74..6df1e05 100644
--- 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: