Continue to use search.html for site searching

Change-Id: I0e3ef90698c2ac06693eb70f140b26b476d51a22

diff --git a/tools/droiddoc/templates/assets/customizations.js b/tools/droiddoc/templates/assets/customizations.js
index 26eb59f..5258902 100644 (file)
--- a/tools/droiddoc/templates/assets/customizations.js
+++ b/tools/droiddoc/templates/assets/customizations.js
@@ -9,3 +9,6 @@ function showApiWarning(thing, selectedLevel, minLevel) {
     $("#naMessage").hide();
   }
 }
+
+// Direct searches to search.html
+HAS_SEARCH_PAGE = true;