can we get rid of the xmllint check

[robe]

I just noticed when running that we have

A call like this:

xmllint --loaddtd --xinclude --valid postgis-out.xml > /dev/null

I know I think all winnie's (and mine) are with make check, not make or make install and I'm wondering if its this line.

Do we really need to validate the xml in make check? Can we get rid of it?

[strk]

I think "make check" should check everything built by "make" If docs are not built by "make" then we can move the check to an appropriately named rule (like "make docs-check" ?)

[robe]

I think we should move it. The only reason xml needs to be used for regular checking is to generate the comments and then I would say we don't care about xmllint just care if the comments are installable or not.

We don't use make check for building docs.

[robe]

this seems bearable. I'm not even sure it happens anymore or maybe it doesn't for me now that I set before I make

XSLTPROCFLAGS=