projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
[project @ 2002-07-03 11:16:56 by simonmar]
[ghc-hetmet.git]
/
distrib
/
Makefile-bin.in
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
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)
install-dirs-docs:
$(INSTALL_DIR) $(htmldir)