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