diff options
author | Chris Johns <chrisj@rtems.org> | 2013-04-14 13:16:55 +1000 |
---|---|---|
committer | Chris Johns <chrisj@rtems.org> | 2013-04-14 13:16:55 +1000 |
commit | 4351cf4d7fe6d3727af79675e1b7a4ed90b6f186 (patch) | |
tree | 80d829efb3ee4453efbce599e043ac3951edba16 /doc/wscript | |
parent | Bug fix the list name. (diff) | |
download | rtems-source-builder-4351cf4d7fe6d3727af79675e1b7a4ed90b6f186.tar.bz2 |
Updated documentation.
Diffstat (limited to 'doc/wscript')
-rw-r--r-- | doc/wscript | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/wscript b/doc/wscript index 879412c..449cec6 100644 --- a/doc/wscript +++ b/doc/wscript @@ -10,6 +10,8 @@ def configure(ctx): def build(ctx): ctx(target = 'source-builder.html', source = 'source-builder.txt') + ctx.add_manual_dependency(ctx.path.find_node('source-builder.txt'), + ctx.path.find_node('host-results.csv')) import waflib.TaskGen waflib.TaskGen.declare_chain(name = 'html', |