Re: doc-searching for v10 broken

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.

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