diff options
author | rrt <unknown> | 2001-10-24 10:05:51 +0000 |
---|---|---|
committer | rrt <unknown> | 2001-10-24 10:05:51 +0000 |
commit | aa28d2d407ecd14edc2d37afa20a06e2bef702b2 (patch) | |
tree | ca7263d535664233702796f6618875b9a74907af /Makefile | |
parent | bf0256fa2f80b8f84acc40c1c8841da008a3c353 (diff) | |
download | haskell-aa28d2d407ecd14edc2d37afa20a06e2bef702b2.tar.gz |
[project @ 2001-10-24 10:05:51 by rrt]
Add install-docs target to top level.
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 9 |
1 files changed, 9 insertions, 0 deletions
@@ -332,6 +332,15 @@ install :: fi; \ done +install-docs :: + @case '${MFLAGS}' in *-[ik]*) x_on_err=0;; *-r*[ik]*) x_on_err=0;; *) x_on_err=1;; esac; \ + for i in $(filter-out $(ProjectsDontInstall), $(SUBDIRS)); do \ + if [ -d $$i ]; then \ + $(MAKE) -C $$i install-docs; \ + if [ $$? -eq 0 -o $$x_on_err -eq 0 ] ; then true; else exit 1; fi; \ + fi; \ + done + # Turn off target.mk's rules for 'all', 'boot' and 'install'. NO_BOOT_TARGET=YES NO_ALL_TARGET=YES |