>> The problem is not related to the snippet you posted. The >> concurrent recursive make invocations are being spawned from >> somewhere else in your build system.
Found the problem! I was indeed calling `make` concurrently (within
the `doc` directory).
Thanks a lot for your help!
Werner
