From: Jean-Charles Malahieude <lilyfan@orange.fr>
Date: Thu, 19 Jan 2012 18:24:00 +0000 (+0100)
Subject: Web-fr: searchbox
X-Git-Tag: release/2.15.27-1~8^2~13
X-Git-Url: https://git.donarmstrong.com/?a=commitdiff_plain;h=1282dc89c158a8df51a841d553bb265249d9bdd4;p=lilypond.git

Web-fr: searchbox
---

diff --git a/Documentation/fr/search-box.ihtml b/Documentation/fr/search-box.ihtml
index 6ef52e644c..0017b60ffc 100644
--- a/Documentation/fr/search-box.ihtml
+++ b/Documentation/fr/search-box.ihtml
@@ -1,18 +1,26 @@
 <!--
-    Translation of GIT committish: 02cc634b92fdce39d054ce787dcaa7c0338a11b0
+    Translation of GIT committish: a278b3a9015f156998816868f09929a4c07d698c
 
     When revising a translation, copy the HEAD committish of the
     version that you are working on.  See TRANSLATION for details.
 -->
 
+<!--
+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="Recherche sur Google">
   <input type="text" name="brute_query" onfocus="this.value=''" value="Rechercher">