X-Git-Url: https://git.donarmstrong.com/?a=blobdiff_plain;f=Documentation%2Fit%2Fsearch-box.ihtml;h=b5602c33e5aa65ff47c23f41996d18c87984d0b3;hb=90e4d7057f3857da049dfda3d130017d4719bd6b;hp=778c26fc576e92edc0d5c629da16432cb724d000;hpb=058370efc7e9710f149d0f444328bb1fcd7bdec1;p=lilypond.git

diff --git a/Documentation/it/search-box.ihtml b/Documentation/it/search-box.ihtml
index 778c26fc57..b5602c33e5 100644
--- a/Documentation/it/search-box.ihtml
+++ b/Documentation/it/search-box.ihtml
@@ -1,17 +1,10 @@
 <!--
-    Translation of GIT committish: 9d074d78d7c25852afa87005e21c118630f4f83b
+    Translation of GIT committish: 1df9fc42197a6b2931f448cfba717527aead5e5a
 
     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"