Work at SourceForge, help us to make it a better place! We have an immediate need for a Support Technician in our San Francisco or Denver office.
'make docs' is not safe with parallel make ('make -jN').
It usually works, and only rarely fails. Here's a failure captured by the buildbot:
Fixed in commit 6e3b6a43f94.