On March 31, 2018 8:43:37 AM PDT, Tom Lane <tgl@sss.pgh.pa.us> wrote:
>Peter Eisentraut <peter.eisentraut@2ndquadrant.com> writes:
>> On 3/29/18 14:43, Alvaro Herrera wrote:
> I'm *not* OK with expanding the scope of "make check"
>to include building the documentation. It's never had anything to do
>with docs before and I see no reason to start now. Personally, when
>I'm working on a patch, the doc updates if any are a completely
>separate
>matter. I don't want to waste cycles on testing docs when I'm trying
>to test code, any more than I would like the reverse (ie forcing a docs
>build to build code too).
They're a local check target in the docs directory. But it just checks postgres.xml, not additional targets. Don't
thinkanybody proposed to add the doc check to the top-level check target.
Andres
--
Sent from my Android device with K-9 Mail. Please excuse my brevity.