Can make doc use less memory?
Running make doc works fine during the night on my computer because I am not using it. But running make doc is really annoying during the day when let's say I want to use firefox at the same time: the computer gets swapping and becomes unusable.
I agree with this, though I don't know a solution other than forcing it to use one thread.