Re: documentation is now XML

On Wed, Jan 24, 2018 at 08:21:21AM -0500, Peter Eisentraut wrote:
> On 1/23/18 22:24, Bruce Momjian wrote:
> >> I like TeX as much as the next guy --- I wrote my thesis with it,
> >> a long time ago --- but there's no denying that (a) it's got hard
> >> limits we're approaching, (b) the downstream conversion to PDF is
> >> buggy, and (c) nobody is working on fixing it.
> > 
> > All agreed, but what alternatives are being developed?
> 
> We are using FOP now, which appears to give reasonable results.  There
> are also commercial/proprietary/expensive XSL-FO processors that give
> even better results.  Some of those are used in professional publishing.
> 
> That's where things are now.  The next wave in this area will be doing
> the whole thing with HTML and CSS.

Ah, so we are using fop now:

    https://xmlgraphics.apache.org/fop/

and it seems I have fop installed on my server already.  So we are not
using TeX anymore for PG11+ docs?

-- 
  Bruce Momjian  <bruce@momjian.us>        http://momjian.us
  EnterpriseDB                             http://enterprisedb.com

+ As you are, so once was I.  As I am, so you will be. +
+                      Ancient Roman grave inscription +