Re: meson documentation build open issues

[Peter Eisentraut]

On 21.11.23 02:56, Andres Freund wrote:

One remaining question is whether we should adjust install-doc-{html,man} to
be install-{html,man}, to match the docs targets.

Ah didn't notice that one; yes please.