From 81d83f2f8e00967048fa8971e94f8bcd89598773 Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Wed, 3 Jul 2002 11:16:56 +0000
Subject: [PATCH] [project @ 2002-07-03 11:16:56 by simonmar] Small fix to the
 documentation installation

---
 distrib/Makefile-bin.in |    4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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) 
-- 
1.7.10.4