diff options
author | Chris Johns <chrisj@rtems.org> | 2017-08-09 20:19:22 +1000 |
---|---|---|
committer | Chris Johns <chrisj@rtems.org> | 2017-08-09 20:19:22 +1000 |
commit | 58de62d8beb931995ec8bf2677f1714dfa004719 (patch) | |
tree | b0fcd040cdcfc426697b590bdee4e082276e2215 /common/waf.py | |
parent | Add the sphinxcontrib.bibtex extension to the repo. (diff) | |
download | rtems-docs-58de62d8beb931995ec8bf2677f1714dfa004719.tar.bz2 |
Revert "Add the sphinxcontrib.bibtex extension to the repo."
This reverts commit aa4f8e2e436d6c49e1524a4a3fb164b28632d894.
The contrib has too many dependencies to add into the repo.
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. |