summaryrefslogtreecommitdiff
path: root/bld.proj
diff options
context:
space:
mode:
authorOri Bernstein <ori@markovcorp.com>2017-01-13 11:19:28 -0800
committerOri Bernstein <ori@markovcorp.com>2017-01-13 11:25:20 -0800
commita8e7cff8503ba81955e63546e7c4328cee5490c6 (patch)
treee9a012a592585ed9977625380d9533cec723fb38 /bld.proj
parent134d1ae9730f1aab24681285edfc452b4ac1aeee (diff)
downloadmc-a8e7cff8503ba81955e63546e7c4328cee5490c6.tar.gz
Remove obsolete makefile, replace with bld.sub
Diffstat (limited to 'bld.proj')
-rw-r--r--bld.proj1
1 files changed, 1 insertions, 0 deletions
diff --git a/bld.proj b/bld.proj
index 4fcc171..69ddbc2 100644
--- a/bld.proj
+++ b/bld.proj
@@ -4,5 +4,6 @@ sub =
test
bench
support
+ doc
;;