From: Vladimír Vondruš <mosra@centrum.cz>
Date: Wed, 17 Jul 2019 16:51:35 +0000 (+0200)
Subject: documentation: remove dead code.
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~cjwatson/git?a=commitdiff_plain;h=4177f237bc5465ca56d54780aa652b09adc22c1c;p=blog.git

documentation: remove dead code.
---

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,