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 /networking | |
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 'networking')
0 files changed, 0 insertions, 0 deletions