Print a message in build_doc in a pull request