From 1ad7712fde65985e5ca6d1c875f47e91bb2d9991 Mon Sep 17 00:00:00 2001
From: Lonami Exo <totufals@hotmail.com>
Date: Sat, 10 Mar 2018 11:52:31 +0100
Subject: [PATCH] Automatically redirect on documentation for exact matches

---
 docs/res/js/search.js | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/docs/res/js/search.js b/docs/res/js/search.js
index c63672e7..1b33980b 100644
--- a/docs/res/js/search.js
+++ b/docs/res/js/search.js
@@ -147,6 +147,7 @@ function updateSearch() {
         } else {
             exactMatch.style.display = "";
             buildList(null, exactList, [destination, destinationu]);
+            return destinationu[0];
         }
     } else {
         contentDiv.style.display = "";
@@ -169,4 +170,8 @@ if (query) {
     searchBox.value = query;
 }
 
-updateSearch();
+var exactUrl = updateSearch();
+var redirect = getQuery('redirect');
+if (exactUrl && redirect != 'no') {
+    window.location = exactUrl;
+}