On 07/23/2014 06:31 AM, Magnus Hagander wrote:
>
>
> Do we actually have any buildfarm boxes building the PDFs? And if so,
> any idea why they didn't catch it?
AFAIK, nobody's ever asked for such a thing. The docs optional step just
builds the default docs target, which is simply the HTML docs.
It should be possible, just a SMOC.
cheers
andrew