From 07aebf322a096c47e1db1856758d556c5a78ee29 Mon Sep 17 00:00:00 2001
From: Ben Dodson <bjdodson@google.com>
Date: Tue, 24 Aug 2010 17:13:08 -0700
Subject: [PATCH] Continue to use search.html for site searching

Change-Id: I0e3ef90698c2ac06693eb70f140b26b476d51a22
---
 tools/droiddoc/templates/assets/customizations.js | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/tools/droiddoc/templates/assets/customizations.js b/tools/droiddoc/templates/assets/customizations.js
index 26eb59fbf..52589024c 100644
--- 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;