summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorrrt <unknown>2001-10-24 10:05:51 +0000
committerrrt <unknown>2001-10-24 10:05:51 +0000
commitaa28d2d407ecd14edc2d37afa20a06e2bef702b2 (patch)
treeca7263d535664233702796f6618875b9a74907af /Makefile
parentbf0256fa2f80b8f84acc40c1c8841da008a3c353 (diff)
downloadhaskell-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--Makefile9
1 files changed, 9 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 7f680ee219..784574b717 100644
--- a/Makefile
+++ b/Makefile
@@ -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