diff --git a/docs/publish-docs.sh b/docs/publish-docs.sh index 51da9c9b58..33bcbf0653 100755 --- a/docs/publish-docs.sh +++ b/docs/publish-docs.sh @@ -31,17 +31,17 @@ cat > "$CONFIG_FILE" <