Doc search: update to version 2.15, use it in the "site:" part

site:lilypond.org/doc/v2.15 means that we want to look only under that
directory.  Leading plus doesn't force the exact search anymore.

diff --git a/Documentation/search-box.ihtml b/Documentation/search-box.ihtml
index d789109484afc0dd0fb1d6a32302f5731205f468..eaac109bcc561a7321e489e048cf8ed6aec59fae 100644 (file)
--- a/Documentation/search-box.ihtml
+++ b/Documentation/search-box.ihtml
@@ -1,11 +1,19 @@
+<!--
+we depend on an external entity here, which we cannot control.  Suppose
+we go from 2.15.x to 2.17.x and put the documentation under "v2.17".
+For some time, Google won't have the new location in its index, so the
+search would get nothing.  It would be better to keep "v2.15" in the
+search for a while and have a redirection from "v2.15" to "v2.17".
+-->
+
 <form action="http://google.com/search"
       method="get"
       name="search"
-      onSubmit="search.q.value='site:lilypond.org +v2.14 '
+      onSubmit="search.q.value='site:lilypond.org/doc/v2.15 '
                + search.brute_query.value"
-      onMouseMove="search.q.value='site:lilypond.org +v2.14 '
+      onMouseMove="search.q.value='site:lilypond.org/doc/v2.15 '
                   + search.brute_query.value"
-      onKeyUp="search.q.value='site:lilypond.org +v2.14 '
+      onKeyUp="search.q.value='site:lilypond.org/doc/v2.15 '
               + search.brute_query.value">
   <input type="hidden" name="btnG" value="Google Search">
   <input type="text" name="brute_query" onfocus="this.value=''" value="Search">