On Sun, May 28, 2017 at 11:38 AM, Magnus Hagander <magnus@hagander.net> wrote:
On Sun, May 28, 2017 at 11:03 AM, Tom Lane <tgl@sss.pgh.pa.us> wrote:
Magnus Hagander <magnus@hagander.net> writes: > On Sun, May 28, 2017 at 8:09 AM, Erik Rijkers <er@xs4all.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.