On Fri, May 19, 2017 at 6:54 AM, Magnus Hagander <magnus@hagander.net> wrote:
> On Fri, May 19, 2017 at 3:20 AM, Peter Eisentraut
> <peter.eisentraut@2ndquadrant.com> wrote:
>>
>> Shouldn't this
>>
>> https://www.postgresql.org/docs/10.0/static/index.html
>>
>> rather be
>>
>> https://www.postgresql.org/docs/10/static/index.html
>>
>> ?
>
>
>
> Certainly seems that way to me, given the version number we decided on :)
>
> Dave, was there a particular reasoning behind adding the .0 to the url
> (since you had to hack the regexps anyway)?
I didn't add the .0 - I hacked the regexps to handle 2 digits before the .
There is more work to be done on the website to properly handle the
new version numbering scheme - for example, the versions app will
automatically add the .0, and the docs app includes it in the
generated URLs (not sure yet if that's a result of the version app
issue).
--
Dave Page
Blog: http://pgsnake.blogspot.com
Twitter: @pgsnake
EnterpriseDB UK: http://www.enterprisedb.com
The Enterprise PostgreSQL Company