Peter Eisentraut <peter.eisentraut@enterprisedb.com> writes:
> 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? The default behavior of "make" has been to build only the
html docs for many years. And I've never ever seen a case where
the html docs build and the man pages don't.
> What's wrong with just typing "ninja html"?
Don't really care how the command is spelled, but there needs to
be a convenient way to get that behavior.
regards, tom lane
