diff --git a/docs/publish-docs.sh b/docs/publish-docs.sh index 28885d3b50..1e31f22ea3 100755 --- a/docs/publish-docs.sh +++ b/docs/publish-docs.sh @@ -106,8 +106,8 @@ cat > "$CONFIG_FILE" <