X-Git-Url: https://git.donarmstrong.com/?a=blobdiff_plain;f=Documentation%2Fnl%2Fsearch-box.ihtml;h=33e6c1062a769fa3a56d9e214ac46643e52eda46;hb=c92b1fb3ad8514f08fc4cec531211717955a5c29;hp=d18b89d0318f7a0f6319eb03d660b0a21fbd2511;hpb=9d074d78d7c25852afa87005e21c118630f4f83b;p=lilypond.git

diff --git a/Documentation/nl/search-box.ihtml b/Documentation/nl/search-box.ihtml
index d18b89d031..33e6c1062a 100644
--- a/Documentation/nl/search-box.ihtml
+++ b/Documentation/nl/search-box.ihtml
@@ -1,10 +1,18 @@
 <!--
-    Translation of GIT committish: 6908517be0826a3386264cd6d26d742b18e3a227
+    Translation of GIT committish: 12c6693055728e69dce5c4e5a4a2b5f71180a5e2
 
     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"