Add '-dcrop' option to ps and svg backends

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

diff --git a/Documentation/search-box.ihtml b/Documentation/search-box.ihtml
index a1c294955579397246d8ee7f81f18682e3f86bdf..988033c8a63e46da0ef05c42feec58407fdd00e7 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.19 '

                + 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.19 '

                   + 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.19 '

               + 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">