add a search box for the documentation

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21471 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/docs/index.html b/docs/index.html
index fff7034e8013b1217390df40a1460631e7086c81..956d0ca68491a04340860e925843c1eac6bf9560 100644 (file)
--- a/docs/index.html
+++ b/docs/index.html
@@ -10,6 +10,7 @@
 <div class="doc_title">Documentation for the LLVM System</div>
 
 <div class="doc_text">
+<table class="layout" width="95%"><tr class="layout"><td class="left">
 <ul>
   <li><a href="#llvmdesign">LLVM Design</a></li>
   <li><a href="#userguide">LLVM User Guides</a></li>
@@ -17,6 +18,14 @@
   <li><a href="#subsystems">LLVM Subsystem Documentation</a></li>
   <li><a href="#maillist">LLVM Mailing Lists</a></li>
 </ul>
+</td><td class="right">
+  <form action="http://www.google.com/search" method=get>
+      <input type="hidden" name="output" value="googleabout">
+      <input type="hidden" name="sitesearch" value="llvm.cs.uiuc.edu/docs">
+      <input type=text name=q size=25><br>
+      <input type=submit value="Search the LLVM Docs" name="submit">
+    </form>
+</td></tr></table>
 </div>
 
 <div class="doc_author">