[DOC] some minor fixes to the doc build system