documentation: remove dead code.

diff --git a/documentation/search.js b/documentation/search.js
index 423f5e1c9ba90deae98ca48d212867cd76562e94..43b336c33123a1fc69ca5ff26e1f6121eb0e68fc 100644 (file)
--- 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,