aboutsummaryrefslogtreecommitdiff
path: root/devel/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'devel/Makefile')
-rw-r--r--devel/Makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/devel/Makefile b/devel/Makefile
index 626f3ada1766..2f836e012df8 100644
--- a/devel/Makefile
+++ b/devel/Makefile
@@ -239,6 +239,7 @@
SUBDIR += newt
SUBDIR += noweb
SUBDIR += oaf
+ SUBDIR += ocamlweb
SUBDIR += omniORB
SUBDIR += p5-Agent
SUBDIR += p5-Algorithm-Diff