Re: run xmllint during build (was Re: [HACKERS] need xmllint on borka)

2014-08-14 Thread Tom Lane
Peter Eisentraut writes: > It would especially be valuable if someone with a different-than-mine OS > would verify whether they can install xmllint according to the > documentation, or update the documentation if not. FWIW, xmllint appears to be part of the base libxml2 package on Red Hat (checke

run xmllint during build (was Re: [HACKERS] need xmllint on borka)

2014-08-14 Thread Peter Eisentraut
On 5/6/14 10:20 PM, Peter Eisentraut wrote: > Agreed. I have committed the SGML changes that make things valid now, > but I will postpone the xmllint addition until the 9.5 branch, complete > with more documentation. Per the above announcement, here is an updated patch, also with more documentati

Re: [HACKERS] need xmllint on borka

2014-05-06 Thread Tom Lane
Peter Eisentraut writes: > On Thu, 2014-05-01 at 22:51 -0400, Tom Lane wrote: >> -1. Doesn't this break "make man" for *any* hacker who doesn't have >> xmllint installed? > The intention is that we enforce that the documentation is correctly > formatted. Enforcing that only when the required to

Re: [HACKERS] need xmllint on borka

2014-05-06 Thread Peter Eisentraut
On Thu, 2014-05-01 at 22:51 -0400, Tom Lane wrote: > > But we don't have xmllint installed on borka, where we build the > > releases. Could someone please install it? > > -1. Doesn't this break "make man" for *any* hacker who doesn't have > xmllint installed? > > Please change the patch so that

Re: [HACKERS] need xmllint on borka

2014-05-02 Thread Alvaro Herrera
Peter Eisentraut wrote: > 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

Re: [HACKERS] need xmllint on borka

2014-05-02 Thread Alvaro Herrera
Tom Lane wrote: > (The subtext here is that borka is absolutely not an acceptable place > to encounter documentation build failures. By the time we're at that > stage of the release cycle, I don't really care what xmllint might > have to say; there isn't going to be time to make it happy.) Borka

Re: [HACKERS] need xmllint on borka

2014-05-01 Thread Tom Lane
Peter Eisentraut writes: > 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