Fix publish_docs script.