Re: pgsql: Add documentation for the JIT feature.

On March 31, 2018 8:43:37 AM PDT, Tom Lane  wrote:
>Peter Eisentraut  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 think anybody 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.