Re: [PROPOSAL] Drop PDF / texinfo documentation builds

[Dave Cottlehuber]

On Sat, 18 Mar 2017, at 05:55, Joan Touzet wrote:
> Hi everyone,
> 
> I'd like to propose dropping the PDF and texinfo targets from our

+1 send them to the dumpster its long overdue.

A+
Dave