Re: [PATCH] Documentation search - update version and Google syntax

2012-01-06 Thread James
Pavel, On 7 January 2012 03:23, Pavel Roskin wrote: > On Thu, 5 Jan 2012 07:04:22 + > James wrote: > >> Thanks, I figured it was something like that, but the gmail web client >> doesn't seem to let me save this off separately (i've not worked out >> how so far) so I was reluctant to cut/past

Re: [PATCH] Documentation search - update version and Google syntax

2012-01-06 Thread Pavel Roskin
On Thu, 5 Jan 2012 07:04:22 + James wrote: > Thanks, I figured it was something like that, but the gmail web client > doesn't seem to let me save this off separately (i've not worked out > how so far) so I was reluctant to cut/paste. OK, I'm sending the patch as an attachment, and I'll send

Re: [PATCH] Documentation search - update version and Google syntax

2012-01-04 Thread James
David On 5 January 2012 06:58, David Kastrup wrote: > James writes: > >> However if you do not intend to do more LilyPond dev work then I am >> happy to handle this patch for you, but I'd prefer a git formatted >> patch if possible or at the very least a 'diff' file that I can then >> post for r

Re: [PATCH] Documentation search - update version and Google syntax

2012-01-04 Thread David Kastrup
James writes: > However if you do not intend to do more LilyPond dev work then I am > happy to handle this patch for you, but I'd prefer a git formatted > patch if possible or at the very least a 'diff' file that I can then > post for review on your behalf. > > This email seems to have just put t

Re: [PATCH] Documentation search - update version and Google syntax

2012-01-04 Thread James
Pavel, On 4 January 2012 22:32, Pavel Roskin wrote: > Hello! > > There are two issues with the search box in the online documentation. > One is that search in v2.15 documentation adds +v2.14 to the > Google search, so it look in the older documentation. > > The other is that "+" doesn't have the

[PATCH] Documentation search - update version and Google syntax

2012-01-04 Thread Pavel Roskin
Hello! There are two issues with the search box in the online documentation. One is that search in v2.15 documentation adds +v2.14 to the Google search, so it look in the older documentation. The other is that "+" doesn't have the old meaning since the introduction of Google Plus. To ensure that