On Wed, Aug 19, 2015 at 09:34:22AM -0700, Ben Pfaff wrote:
On Wed, Aug 19, 2015 at 06:57:04AM +0200, John Darrington wrote:
> You need to install the xmllint program. I have no idea where that is
> on Cento - ask a Cento expert.
I guess that we should probably document that xmllint is necessary, and
perhaps modify configure.ac to report an error if it is missing.
I don't understand what the xmllint invocations are doing, though.They are merely checking that the xml is valid if I recall correctly. What interests me however, is why they are getting called at all. I thought xmllint was only necessary when bootstrapping - it should not be required when building from the released tarball if I recall correctly. Unless of course Daniel modified something in the documentation sources. J' -- Avoid eavesdropping. Send strong encryted email. PGP Public key ID: 1024D/2DE827B3 fingerprint = 8797 A26D 0854 2EAB 0285 A290 8A67 719C 2DE8 27B3 See http://sks-keyservers.net or any PGP keyserver for public key.
signature.asc
Description: Digital signature
_______________________________________________ Pspp-users mailing list Pspp-users@gnu.org https://lists.gnu.org/mailman/listinfo/pspp-users
