Tom Lane wrote:
> Andres Freund <andres@anarazel.de> writes:
> > On March 31, 2018 8:43:37 AM PDT, Tom Lane <tgl@sss.pgh.pa.us> wrote:
> >> 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.
>
> Ah, didn't realize that "make check" in the docs isn't connected up to
> the main check target. As long as that's true, no objection.
I'm not proposing to add doc/src/sgml's check target to top-level check,
though perhaps it wouldn't be such a terrible idea -- seems quick
enough, at under half a second:
$ time LC_ALL=C make -C doc/src/sgml/ check
make: Entering directory '/home/alvherre/Code/pgsql/build/master/doc/src/sgml'
/usr/bin/xmllint --path . --noout --valid /pgsql/source/master/doc/src/sgml/postgres.sgml
make: Leaving directory '/home/alvherre/Code/pgsql/build/master/doc/src/sgml'
real 0m0,494s
user 0m0,461s
sys 0m0,033s
--
Álvaro Herrera https://www.2ndQuadrant.com/
PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services