X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=distrib%2FMakefile-bin.in;h=431ed1fd72799ffdba62b8b97134d5a19e95c27b;hb=81d83f2f8e00967048fa8971e94f8bcd89598773;hp=9a06b94644bae6cd2b78cce44bfdb1c9ee711fe6;hpb=c93e527c47ebe93a5257654b7c6c91d1faacf342;p=ghc-hetmet.git

diff --git a/distrib/Makefile-bin.in b/distrib/Makefile-bin.in
index 9a06b94..431ed1f 100644
--- a/distrib/Makefile-bin.in
+++ b/distrib/Makefile-bin.in
@@ -253,7 +253,9 @@ show-install-setup:
 
 install-docs : install-dirs-docs
 	if test -d share/html ; then $(CP) -r share/html/* $(htmldir) ; fi
-	if test -f share/*.ps ; then $(CP) share/*.ps $(psdir) ; fi
+	for i in share/*.ps; do \
+		$(CP) $$i $(psdir) ; \
+	done
 
 install-dirs-docs:
 	$(INSTALL_DIR) $(htmldir)