diff options
author | Chris Johns <chrisj@rtems.org> | 2020-04-03 11:09:47 +1100 |
---|---|---|
committer | Chris Johns <chrisj@rtems.org> | 2020-04-03 11:11:11 +1100 |
commit | d514e3308e908da244f7b60f39c55cd826f1ad6d (patch) | |
tree | 0f8c7c1275d683a6cbf27a1d776be918fc5fbfe4 | |
parent | Add virtualenv to the README.txt as the preferred host support. (diff) | |
download | rtems-docs-d514e3308e908da244f7b60f39c55cd826f1ad6d.tar.bz2 |
waf: User friendly message when no sphinx is installed
Diffstat (limited to '')
-rw-r--r-- | common/waf.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/common/waf.py b/common/waf.py index 36feef5..7027eb6 100644 --- a/common/waf.py +++ b/common/waf.py @@ -87,6 +87,9 @@ class linkcheck(BuildContext): def check_sphinx_version(ctx, minver): try: import sphinx + except: + ctx.fatal('no sphinx support found; please install') + try: # sphinx.version_info was introduced in sphinx ver 1.2 version = sphinx.version_info # version looks like (1, 7, 0, 'final', 0)) |