'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.
Sign up for the SourceForge newsletter:
You seem to have CSS turned off.
Please don't fill out this field.