Thanks to Martin Günther for the patch overnight which got us rolling quickly this morning. All the doc jobs are back online and running well. Tully On Fri, Dec 6, 2013 at 12:51 AM, Tully Foote wrote: > Hi, > > We're experiencing some spurrious doc build failures. We're not quite > sure what they are caused by and need some time to look into them. I > expect many of you have received emails in the last few hours. Most of > them are due to this issue. I've turned off the doc builds to keep your > inboxes from filling up with invalid emails. We'll try to find a fix in > the morning. > > Tully >