Fixed bug causing documentation to be dumped at the root of the distribution archives rather than in the doc directory.