Fix Sphinx version detection (#2517)

main
jvoisin 6 years ago committed by Elbert Alias
parent e7d7003225
commit 19ea96d6a1

@ -9247,7 +9247,7 @@
"cats": [ "cats": [
4 4
], ],
"html": "Created using <a href=\"https?://sphinx-doc\\.org/\">Sphinx</a> ([.\\d+])+\\.\\;version:\\1", "html": "Created using <a href=\"https?://sphinx-doc\\.org/\">Sphinx</a> ([0-9.]+)\\.\\;version:\\1",
"icon": "Sphinx.png", "icon": "Sphinx.png",
"js": { "js": {
"DOCUMENTATION_OPTIONS": "" "DOCUMENTATION_OPTIONS": ""

Loading…
Cancel
Save