Tom Lane wrote: > Andres Freund <and...@anarazel.de> writes: > > On March 31, 2018 8:43:37 AM PDT, Tom Lane <t...@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