summaryrefslogtreecommitdiffstats
path: root/common/conf.py
diff options
context:
space:
mode:
Diffstat (limited to 'common/conf.py')
-rw-r--r--common/conf.py3
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",
]