diff --git a/docs/publish-docs.sh b/docs/publish-docs.sh index 91869b5003dcc5..addfdec4cd6823 100755 --- a/docs/publish-docs.sh +++ b/docs/publish-docs.sh @@ -143,7 +143,8 @@ cat > "$CONFIG_FILE" <