diff options
Diffstat (limited to '')
| -rw-r--r-- | book/wscript | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/book/wscript b/book/wscript index 5c297a3..e300add 100644 --- a/book/wscript +++ b/book/wscript @@ -1,5 +1,5 @@ from sys import path -from os.path import abspath +from os.path import abspath, exists path.append(abspath('../common/')) from waf import cmd_configure, cmd_build @@ -13,7 +13,6 @@ def build(ctx): "user", "rtemsconfig", "shell", - "commands", "ada_user", "bsp_howto", "c_user", @@ -28,6 +27,11 @@ def build(ctx): "relnotes" ] + p = ctx.path.parent.abspath() + for dir in dirs: + if not exists("%s/%s" % (p, dir)): + ctx.fatal("Directory does not exist: %s/%s" % (p, dir)) + for dir in dirs: files = ctx.path.parent.find_node(dir).ant_glob("**/*.rst") files = [x for x in files if x.name.find("/build/") == -1] |