diff options
| author | Chris Johns <chrisj@rtems.org> | 2017-02-25 15:05:09 +1100 |
|---|---|---|
| committer | Chris Johns <chrisj@rtems.org> | 2017-02-25 15:05:09 +1100 |
| commit | ff9d55501f5a150d52b43513357becc04171fd61 (patch) | |
| tree | 111cf11f4e60186a91a1b05ca60579daed013de1 /c-user | |
| parent | Move extensions to common conf.py (diff) | |
| download | rtems-docs-ff9d55501f5a150d52b43513357becc04171fd61.tar.bz2 | |
Add a check for Sphinx extensions.
Minor clean up of the configure messages.
Do not re-check sphinx in the nested configures.
Diffstat (limited to 'c-user')
0 files changed, 0 insertions, 0 deletions