small build-doc update