On 2019-02-22 12:07, Magnus Hagander wrote: > (Won't actually work because the web site isn't serving "12" URLs yet, > but that's something that could probably be sorted out.) > > > Why not just link to /devel/ when it's a devel version? The 12 docs will > be up alongside the first beta version, so it should be perfectly > possible to have it do that based on information from configure, no?
Why not just serve /12/ from the web site earlier? Is there a reason not to?
I had same idea. The fact so this version is development version, can be solved by some styles.
But a URL should be stable.
Regards
Pavel
-- Peter Eisentraut http://www.2ndQuadrant.com/ PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services