From 19ea96d6a1a921edb84fb43e3df9c8ba8a53cb0a Mon Sep 17 00:00:00 2001
From: jvoisin <jvoisin@users.noreply.github.com>
Date: Sat, 24 Nov 2018 03:13:13 +0000
Subject: [PATCH] Fix Sphinx version detection (#2517)

---
 src/apps.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/apps.json b/src/apps.json
index a921c4f74..8ca588de0 100644
--- a/src/apps.json
+++ b/src/apps.json
@@ -9247,7 +9247,7 @@
       "cats": [
         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",
       "js": {
         "DOCUMENTATION_OPTIONS": ""