Fix 'publish_doc.sh'.