Peter Eisentraut <peter.eisentraut@2ndquadrant.com> writes:
> On 2019-03-11 15:50, Tom Lane wrote:
>> Ideally, we'd treat them much as we do for bison output files:
>> we'll supply them in tarballs but you'd better have the relevant
>> tools if you want to build docs from a git pull. However, that
>> may be assuming too much about the portability of the tools ...
> The portability is not something I'm concerned about, but Ditaa requires
> Java, so that might annoy some people.
Portability is something you *should* be concerned about. We want
all patch submitters to be able to build the docs, else we'll forever
be fighting silly markup errors. That's not a productive use of
anybody's time.
regards, tom lane