drop unused deprecated module 'sphinx.ext.pngmath'

Bug-Debian: https://bugs.debian.org/918828

Gbp-Pq: Name sphinx.patch

diff --git a/doc/sphinx/source/conf.py b/doc/sphinx/source/conf.py
index 475318aa02b22db9306fd82fc52c5d2941892a2c..a6a850ed076e5d2b40cf1719508fc9e30d52341a 100644 (file)
--- a/doc/sphinx/source/conf.py
+++ b/doc/sphinx/source/conf.py
@@ -22,7 +22,7 @@ import sys, os
 
 # Add any Sphinx extension module names here, as strings. They can be extensions
 # coming with Sphinx (named 'sphinx.ext.*') or your custom ones.
-extensions = ['sphinx.ext.pngmath']
+extensions = []
 
 # Add any paths that contain templates here, relative to this directory.
 templates_path = ['_templates']