On March 31, 2018 8:43:37 AM PDT, Tom Lane <t...@sss.pgh.pa.us> wrote: >Peter Eisentraut <peter.eisentr...@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 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.