diff options
Diffstat (limited to 'common/waf.py')
-rw-r--r-- | common/waf.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/common/waf.py b/common/waf.py index 3ee4435..7947829 100644 --- a/common/waf.py +++ b/common/waf.py @@ -206,6 +206,7 @@ def cmd_configure(ctx): check_sphinx_extension(ctx, 'sphinx.ext.graphviz') check_sphinx_extension(ctx, 'sphinx.ext.intersphinx') check_sphinx_extension(ctx, 'sphinx.ext.mathjax') + check_sphinx_extension(ctx, 'sphinxcontrib.bibtex') # # Optional builds. |