Re: [pgsql-www] doc-searching for v10 broken - Mailing list pgsql-www

From Magnus Hagander
Subject Re: [pgsql-www] doc-searching for v10 broken
Date
Msg-id CABUevEw_9VkTmHVLFYSNT-O0EQva01aaiQKSX6+1GnTV2k1HMQ@mail.gmail.com
Whole thread Raw
In response to Re: [pgsql-www] doc-searching for v10 broken  (Erik Rijkers <er@xs4all.nl>)
Responses Re: [pgsql-www] doc-searching for v10 broken
List pgsql-www


On Sun, May 28, 2017 at 8:09 AM, Erik Rijkers <er@xs4all.nl> wrote:
Oops I typoed a url, but the problem is real.

Again:


The search at

https://www.postgresql.org/docs/10/static/index.html

 does not find anything.

The produced url is:
  https://www.postgresql.org/search/?u=%2Fdocs%2F10%2F&q=select


which (apparently) should be:
  https://www.postgresql.org/search/?u=%2Fdocs%2F10.0%2F&q=select


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.

//Magnus
 

pgsql-www by date:

Previous
From: Erik Rijkers
Date:
Subject: Re: [pgsql-www] doc-searching for v10 broken
Next
From: Tom Lane
Date:
Subject: Re: [pgsql-www] doc-searching for v10 broken