diff options
author | Chris Johns <chrisj@rtems.org> | 2016-11-03 14:30:47 +1100 |
---|---|---|
committer | Chris Johns <chrisj@rtems.org> | 2016-11-03 14:30:47 +1100 |
commit | 0bc9c6d3deb497b24debcaaefbab972c0ff2c6a8 (patch) | |
tree | 2e443277b0d549b7e5e4dd56cfa1b70c9869b417 /shell | |
parent | RSB: Fix the history. (diff) | |
download | rtems-docs-0bc9c6d3deb497b24debcaaefbab972c0ff2c6a8.tar.bz2 |
waf: Have configure set building pdf and/or singlehtml.
Move selecting pdf and singlehtml to the configure stage so it
is sticky for all builds. This means a top level build will always
build all formats that have been configured.
Do not complete the configure stage if tools are missing for the
configured output.
Add singlehtml support using the inliner tool. It is nice.
Remove the groups as waf can track the dependences. This lets the
manuals build in parallel.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions