Fix documentation generation in build script.