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@hagander.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@momjian.us>        https://momjian.us
  EDB                                      https://enterprisedb.com

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