diff options
author | Chris Johns <chrisj@rtems.org> | 2017-08-07 21:58:52 +1000 |
---|---|---|
committer | Chris Johns <chrisj@rtems.org> | 2017-08-07 21:58:52 +1000 |
commit | aa4f8e2e436d6c49e1524a4a3fb164b28632d894 (patch) | |
tree | 5b7d3e70c2d5640495281b2665212f07bb41b251 /common/waf.py | |
parent | bsp: Optional clock driver shutdown (diff) | |
download | rtems-docs-aa4f8e2e436d6c49e1524a4a3fb164b28632d894.tar.bz2 |
Add the sphinxcontrib.bibtex extension to the repo.
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. |