diff options
| -rw-r--r-- | docs/index.html | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/docs/index.html b/docs/index.html index fff7034e80..956d0ca684 100644 --- 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"> |