Re: 2.20 Manuals search box

[Federico Bruni]

Il giorno sab 2 mag 2020 alle 09:40, Pierre Perol-Schneider 
<address@hidden> ha scritto:
> Hi Bug squad,
> Search boxes included in the manuals re-direct to the v2.19 manuals 
> instead
> of the v2.20.
> Cheers,
> Pierre

Last month Valentin wrote that v2.20 was not indexed by Google yet:
https://lists.gnu.org/archive/html/lilypond-devel/2020-04/msg00101.html

I think this is not true anymore.
I've tried several searches and all return v2.20, so I think that we 
can change it.