Re: doc-searching for v10 broken

On Sun, May 28, 2017 at 11:38 AM, Magnus Hagander <magnus(at)hagander(dot)net>
wrote:

>
> On Sun, May 28, 2017 at 11:03 AM, Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> wrote:
>
>> Magnus Hagander <magnus(at)hagander(dot)net> writes:
>> > On Sun, May 28, 2017 at 8:09 AM, Erik Rijkers <er(at)xs4all(dot)nl> wrote:
>> >> i.e., s/10/10.0/
>>
>> > That is indeed broken. I've spotted the problem, will get a fix in as
>> soon
>> > as I have fixed my testing environment.
>>
>> Don't we want it to go the other way around, ie the documentation URL for
>> v10 should contain "10" not "10.0"?
>>
>>
>>
> Yes. I was a bit short in my response. The problem is that it's trying to
> index it under 10.0, which has no content. And then the search tries to use
> 10.
>

Fix has been deployed, and seems to work now.

Thanks for the report!

--
Magnus Hagander
Me: https://www.hagander.net/ <http://www.hagander.net/>
Work: https://www.redpill-linpro.com/ <http://www.redpill-linpro.com/>