]> git.donarmstrong.com Git - lilypond.git/commitdiff
Added search-box.ihtml
authorWalter Garcia-Fontes <walter.garcia@upf.edu>
Sat, 7 Jun 2014 17:28:46 +0000 (19:28 +0200)
committerFrancisco Vila <paconet.org@gmail.com>
Sun, 15 Jun 2014 17:53:54 +0000 (19:53 +0200)
Documentation/ca/search-box.ihtml [new file with mode: 0644]

diff --git a/Documentation/ca/search-box.ihtml b/Documentation/ca/search-box.ihtml
new file mode 100644 (file)
index 0000000..2a2d0b9
--- /dev/null
@@ -0,0 +1,26 @@
+<!--
+    Translation of GIT committish: 9d074d78d7c25852afa87005e21c118630f4f83b
+
+    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/doc/v2.19 '
+               + search.brute_query.value"
+      onMouseMove="search.q.value='site:lilypond.org/doc/v2.19 '
+                  + search.brute_query.value"
+      onKeyUp="search.q.value='site:lilypond.org/doc/v2.19 '
+              + search.brute_query.value">
+  <input type="hidden" name="btnG" value="Búsqueda en Google">
+  <input type="text" name="brute_query" onfocus="this.value=''" value="Buscar">
+  <input type="hidden" name="q" value="">
+</form>