From 616d528cb73fccad4434d60fbc51f4f2df07bbbd Mon Sep 17 00:00:00 2001
From: jvoisin <jvoisin@users.noreply.github.com>
Date: Thu, 7 Dec 2017 21:48:01 +0100
Subject: [PATCH] Add a way to get Sphinx' version (#1876)

* Add a way to get Sphinx' version

This can bes tested [here](www.sphinx-doc.org/en/stable/) and [here](https://clang.llvm.org/docs/AddressSanitizer.html)

* Walk around the stupid CI :>
---
 src/apps.json | 1 +
 1 file changed, 1 insertion(+)

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 <a href=\"https?://sphinx-doc\\.org/\">Sphinx</a> ([.\\d+])+\\.\\;version:\\1",
 			"icon": "Sphinx.png",
 			"implies": "Python",
 			"website": "http://sphinx.pocoo.org"