Re: Devel docs on website reloading

On Tue, Jun 21, 2022 at 11:43:40AM +0200, Magnus Hagander wrote:
> On Wed, Nov 18, 2020 at 1:44 PM Magnus Hagander <magnus(at)hagander(dot)net> wrote:
> No that'd be unrelated. We don't have a dedicated buildfarm animal for
> it, we just piggyback on the existing run, which runs on any changes,
> not just docs.
>
> Less than 2 years later this is now actually done. That is, we are now loading
> the docs from a git checkout instead of a tarball, which means the devel docs
> are now stamped with the git revision that they were built from (and they're
> only rebuilt when something changes the docs, but when they do, it should
> normally take <2 minutes for the new docs to appear on the website)

That is a big help for committers who want to email a URL of the new
doc commit output.

--
Bruce Momjian <bruce(at)momjian(dot)us> https://momjian.us
EDB https://enterprisedb.com

Indecision is a decision. Inaction is an action. Mark Batterson