From 4177f237bc5465ca56d54780aa652b09adc22c1c Mon Sep 17 00:00:00 2001
From: =?utf8?q?Vladim=C3=ADr=20Vondru=C5=A1?= <mosra@centrum.cz>
Date: Wed, 17 Jul 2019 18:51:35 +0200
Subject: [PATCH] documentation: remove dead code.

---
 documentation/search.js | 2 --
 1 file changed, 2 deletions(-)

diff --git a/documentation/search.js b/documentation/search.js
index 423f5e1c..43b336c3 100644
--- a/documentation/search.js
+++ b/documentation/search.js
@@ -390,8 +390,6 @@ var Search = {
            that's just wrong, fix! */
         if(aliasedIndex != null && maxUrlPrefix == 0xffffff) {
             let alias = this.gatherResult(aliasedIndex, 0 /* ignored */, 0xffffff); /* should be enough haha */
-            url = alias.url;
-            flags = alias.flags;
 
             /* Keeping in UTF-8, as we need that for proper slicing (and concatenating) */
             return {name: name,
-- 
2.30.2