Documentation/search-box.ihtml

   1 <!--
   2 we depend on an external entity here, which we cannot control.  Suppose
   3 we go from 2.15.x to 2.17.x and put the documentation under "v2.17".
   4 For some time, Google won't have the new location in its index, so the
   5 search would get nothing.  It would be better to keep "v2.15" in the
   6 search for a while and have a redirection from "v2.15" to "v2.17".
   7 -->
   8
   9 <form action="http://google.com/search"
  10       method="get"
  11       name="search"
  12       onSubmit="search.q.value='site:lilypond.org/doc/v2.19 '
  13                 + search.brute_query.value"
  14       onMouseMove="search.q.value='site:lilypond.org/doc/v2.19 '
  15                    + search.brute_query.value"
  16       onKeyUp="search.q.value='site:lilypond.org/doc/v2.19 '
  17                + search.brute_query.value">
  18   <input type="hidden" name="btnG" value="Google Search">
  19   <input type="text" name="brute_query" onfocus="this.value=''" value="Search">
  20   <input type="hidden" name="q" value="">
  21 </form>