diff --git a/docs/publish-docs.sh b/docs/publish-docs.sh index 33bcbf0653..c164258188 100755 --- a/docs/publish-docs.sh +++ b/docs/publish-docs.sh @@ -32,16 +32,16 @@ cat > "$CONFIG_FILE" <