summaryrefslogtreecommitdiff
path: root/docs
diff options
context:
space:
mode:
authorMarcello Stanisci <marcello.stanisci@inria.fr>2017-03-04 17:30:04 +0100
committerMarcello Stanisci <marcello.stanisci@inria.fr>2017-03-04 17:30:04 +0100
commitad2f4c7e06321de955ae52c143cfaac6fc0706be (patch)
treefd239d7effd2115bd728afab243e015d7d28e0e8 /docs
parent7bf82f8dffebe39b0a557a58d0dd030f080658f7 (diff)
downloaddocs-ad2f4c7e06321de955ae52c143cfaac6fc0706be.tar.gz
docs-ad2f4c7e06321de955ae52c143cfaac6fc0706be.tar.bz2
docs-ad2f4c7e06321de955ae52c143cfaac6fc0706be.zip
Use sphinx.ext.imgmath in place of sphinx.ext.pngmath,
as suggested by warning message
Diffstat (limited to 'docs')
-rw-r--r--docs/conf.py2
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/conf.py b/docs/conf.py
index 8db3f93b..002bc486 100644
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -50,7 +50,7 @@ sys.path.append(os.path.abspath('exts'))
extensions = [
'tsref',
'sphinx.ext.todo',
- 'sphinx.ext.pngmath',
+ 'sphinx.ext.imgmath',
'sphinxcontrib.httpdomain'
]