need xmllint on borka

From: Peter Eisentraut <peter_e(at)gmx(dot)net>
To: pgsql-hackers <pgsql-hackers(at)postgresql(dot)org>
Subject: need xmllint on borka
Date: 2014-05-02 02:05:06
Message-ID: 1398996306.13844.3.camel@vanquo.pezone.net
Views: Raw Message | Whole Thread | Download mbox | Resend email
Thread:
Lists: pgsql-hackers

I have been working on making the DocBook XML output valid. The first
part was bb4eefe7bf518e42c73797ea37b033a5d8a8e70a, I now have the rest
ready, but I'll spare you the mostly mechanical 200kB patch for now. In
addition, I'd like to add the attached patch with an xmllint call to
make sure things stay valid.

But we don't have xmllint installed on borka, where we build the
releases. Could someone please install it?

Attachment Content-Type Size
xmllint.patch text/x-patch 880 bytes

Responses

Browse pgsql-hackers by date

  From Date Subject
Next Message Tom Lane 2014-05-02 02:51:31 Re: need xmllint on borka
Previous Message Tom Lane 2014-05-02 01:40:51 Re: includedir_internal headers are not self-contained