On 08.02.23 23:18, Tom Lane wrote:
I pushed the discussed documentation improvements, and changed the behavior of "ninja docs" to only build the HTML docs.
I don't like this change. Now the default set of docs is different between the make builds and the meson builds. And people will be less likely to make sure the man pages still build.
What's wrong with just typing "ninja html"?
