On Thu, May 9, 2024 at 12:12 PM Dagfinn Ilmari Mannsåker <ilm...@ilmari.org> wrote:
> "David G. Johnston" <david.g.johns...@gmail.com> writes: > > > I've been using "ninja html" which isn't shown here. > > The /devel/ version has a link to the full list of doc targets: > > > https://www.postgresql.org/docs/devel/install-meson.html#TARGETS-MESON-DOCUMENTATION I knew I learned about the html target from the docs. Forgot to use the devel ones this time around. > Attached is a patch which adds a check-docs target for meson, which > takes 0.3s on my laptop. > Thanks. David J.