On Mon, 8 Feb 2016, Gerwin Klein wrote:
Thanks, will investigate. Tobias and I are mostly building on Macs, so we donât see the Linux version often.Iâm at a summer school this week. Do we need this for the release or do I have time?
This is not relevant for the release. In the past few releases I always made sure that documents are built on Mac OS X.