Merge remote-tracking branch 'origin/master' into translation

[lilypond.git] / Documentation / search-box.ihtml

diff --git a/Documentation/search-box.ihtml b/Documentation/search-box.ihtml
index a1c294955579397246d8ee7f81f18682e3f86bdf..9f48bc6f56489ed97948262193d18eed5f44b2f5 100644 (file)
--- a/Documentation/search-box.ihtml
+++ b/Documentation/search-box.ihtml
@@ -1,19 +1,19 @@
 <!--
 we depend on an external entity here, which we cannot control.  Suppose
 <!--
 we depend on an external entity here, which we cannot control.  Suppose

-we go from 2.16.x to 2.17.x and put the documentation under "v2.17".
+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
 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.16" in the
-search for a while and have a redirection from "v2.16" to "v2.17".
+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"
 -->
 
 <form action="http://google.com/search"
       method="get"
       name="search"

-      onSubmit="search.q.value='site:lilypond.org/doc/v2.16 '
+      onSubmit="search.q.value='site:lilypond.org/doc/v2.17 '

                + search.brute_query.value"
                + search.brute_query.value"

-      onMouseMove="search.q.value='site:lilypond.org/doc/v2.16 '
+      onMouseMove="search.q.value='site:lilypond.org/doc/v2.17 '

                   + search.brute_query.value"
                   + search.brute_query.value"

-      onKeyUp="search.q.value='site:lilypond.org/doc/v2.16 '
+      onKeyUp="search.q.value='site:lilypond.org/doc/v2.17 '

               + search.brute_query.value">
   <input type="hidden" name="btnG" value="Google Search">
   <input type="text" name="brute_query" onfocus="this.value=''" value="Search">
               + search.brute_query.value">
   <input type="hidden" name="btnG" value="Google Search">
   <input type="text" name="brute_query" onfocus="this.value=''" value="Search">