Re: PG 10 documentation URL

On Fri, May 19, 2017 at 9:49 AM, Dave Page <dpage(at)pgadmin(dot)org> wrote:

> On Fri, May 19, 2017 at 6:54 AM, Magnus Hagander <magnus(at)hagander(dot)net>
> wrote:
> > On Fri, May 19, 2017 at 3:20 AM, Peter Eisentraut
> > <peter(dot)eisentraut(at)2ndquadrant(dot)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 .
>

Ah, OK.

>
> 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).
>

Not particularly much more it seems. I'll commit a patch for this shortly.

You never actually built any PDFs, right?

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