diff options
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)) |