Re: PG 10 documentation URL

On Fri, May 19, 2017 at 1:42 PM, Dave Page <dpage(at)pgadmin(dot)org> wrote:

> On Fri, May 19, 2017 at 12:37 PM, Magnus Hagander <magnus(at)hagander(dot)net>
> wrote:
> >
> >> 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.
>
> Oh, sweet - that's one less thing on my todo :-)
>

Well, someone has to unbreak our website :P

> > You never actually built any PDFs, right?
>
> No, we don't normally for betas.
>
>
Ah, I can never remember that. I shall bug you again once we reach rc :)

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