From be423c5b0b968a75302b64d43722187256a7fad1 Mon Sep 17 00:00:00 2001
From: q-- <q--@users.noreply.github.com>
Date: Sat, 16 Dec 2017 21:48:45 +0100
Subject: [PATCH] Fix broken Sphinx version detection (#1908)

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

diff --git a/src/apps.json b/src/apps.json
index 11d424bd0..8b2d46d3a 100644
--- a/src/apps.json
+++ b/src/apps.json
@@ -8134,7 +8134,7 @@
 				"4"
 			],
 			"env": "^DOCUMENTATION_OPTIONS$",
-			"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> ([.\\d+]+)\\.\\;version:\\1",
 			"icon": "Sphinx.png",
 			"implies": "Python",
 			"website": "http://sphinx.pocoo.org"