From ad2f4c7e06321de955ae52c143cfaac6fc0706be Mon Sep 17 00:00:00 2001
From: Marcello Stanisci <marcello.stanisci@inria.fr>
Date: Sat, 4 Mar 2017 17:30:04 +0100
Subject: Use sphinx.ext.imgmath in place of sphinx.ext.pngmath, as suggested
 by warning message

---
 docs/conf.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'docs/conf.py')

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'
 ]
 
-- 
cgit v1.2.3