[project @ 2002-07-03 11:16:56 by simonmar]

Small fix to the documentation installation

diff --git a/distrib/Makefile-bin.in b/distrib/Makefile-bin.in
index 9a06b94..431ed1f 100644 (file)
--- 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)