diff options
Diffstat (limited to 'common/waf.py')
| -rw-r--r-- | common/waf.py | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/common/waf.py b/common/waf.py index 7947829..3ee4435 100644 --- a/common/waf.py +++ b/common/waf.py @@ -206,7 +206,6 @@ 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. |