Re: Images in the official documentation

2018-02-27 Thread Alvaro Herrera
Peter Eisentraut wrote: > On 2/26/18 20:02, Craig Ringer wrote: > > If I were maintaining the docs in a vacuum, I'd use graphviz for > > something like that, because it's a figure that does need regular > > updates and changes. And because > >  the list of fun things to do in my life definitely doe

Re: Images in the official documentation

2018-02-27 Thread Peter Eisentraut
On 2/26/18 20:02, Craig Ringer wrote: > If I were maintaining the docs in a vacuum, I'd use graphviz for > something like that, because it's a figure that does need regular > updates and changes. And because >  the list of fun things to do in my life definitely does not include > hand-writing SVG.

Re: Images in the official documentation

2018-02-27 Thread Oleg Bartunov
On Mon, Feb 26, 2018 at 10:23 PM, Tom Lane wrote: > Craig Ringer writes: >> On 26 February 2018 at 12:16, Tom Lane wrote: >>> How can we resolve these issues? > >> Question the assumptions and requirements. Why do we actually _need_ >> diffable, mergeable images? Sure, it'd be *nice*, but what's