Re: [HACKERS] switching documentation build to XSLT

2016-11-16 Thread Peter Eisentraut
On 11/10/16 5:49 AM, Peter Eisentraut wrote: > We are now proposing that we change the way the HTML documentation is > built from jade/openjade+docbook-dsssl to xsltproc+docbook-xsl. > The actual patch to make this change is attached. For the build > process, nothing changes, e.g., 'make' or 'mak

[HACKERS] switching documentation build to XSLT

2016-11-10 Thread Peter Eisentraut
Some work has been going on recently to be able to update our documentation build tool chain. After discussion on pgsql-docs, the people involved agree that it is time to move forward. We are now proposing that we change the way the HTML documentation is built from jade/openjade+docbook-dsssl to