diff --git a/src/apps.json b/src/apps.json index 10c31d042..2e1301269 100644 --- a/src/apps.json +++ b/src/apps.json @@ -8127,6 +8127,7 @@ "4" ], "env": "^DOCUMENTATION_OPTIONS$", + "html": "Created using Sphinx ([.\\d+])+\\.\\;version:\\1", "icon": "Sphinx.png", "implies": "Python", "website": "http://sphinx.pocoo.org"