diff --git a/docs/publish-docs.sh b/docs/publish-docs.sh index c164258188..1ec68a243a 100755 --- a/docs/publish-docs.sh +++ b/docs/publish-docs.sh @@ -31,20 +31,20 @@ cat > "$CONFIG_FILE" <