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.
* This is still broken.
* Rename sphinx_rtd_theme so it doesn't pickup locally installed ones
* Add a hack to theme.css to get around inliner bug.
* Some unrelated fixups in common/waf.py
Unfortunatly several dozen fixes got merged into this.
To use:
1. Install aspell
2. waf spell <list of files>
* waf spell mydoc.rst
* waf spell *.rst
This uses a custom dictionary stored in common/spell/dict/. We should add all
RTEMS and programming terms to this to ensure we are consistent.
Amar.
