'make doc' now works as it is supposed to