Committing minor comments before merging branch with master

2017-07-06 10:56:39 +02:00
parent 717ee46f08
commit f03928c679
5 changed files with 14 additions and 3 deletions
--- a/doc/conf.py
+++ b/doc/conf.py
@ -33,7 +33,7 @@ extensions = [
    'sphinx.ext.autodoc',
    'sphinx.ext.todo',
    'sphinx.ext.coverage',
-    'sphinx.ext.pngmath',
+    'sphinx.ext.imgmath',
    'sphinx.ext.ifconfig',
    'sphinx.ext.viewcode',
    'breathe',