diff options
Diffstat (limited to '')
-rw-r--r-- | common/conf.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/common/conf.py b/common/conf.py index 9f6bace..03cfa44 100644 --- a/common/conf.py +++ b/common/conf.py @@ -31,7 +31,8 @@ extensions = [ "sphinx.ext.doctest", "sphinx.ext.graphviz", "sphinx.ext.intersphinx", - "sphinx.ext.pngmath", + "sphinx.ext.mathjax", + "sphinxcontrib.bibtex", "rtemsext", "rtemsdomain", ] |