Peter Eisentraut <peter.eisentr...@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