"David G. Johnston" <david(dot)g(dot)johnston(at)gmail(dot)com> writes:
> $subject
>
> Make has one:
> https://www.postgresql.org/docs/current/docguide-build.html#DOCGUIDE-BUILD-SYNTAX-CHECK
>
> This needs updating:
> https://www.postgresql.org/docs/current/docguide-build-meson.html
>
> I've been using "ninja html" which isn't shown here. Also, as a sanity
> check, running that command takes my system 1 minute. Any idea what
> percentile that falls into?
My laptop (8-core i7-11800H @ 2.30GHz) takes 22s to do `ninja html`
after `ninja clean`.
> David J.
- ilmari