diff --git a/docs/publish-docs.sh b/docs/publish-docs.sh index b260aaae8e..51da9c9b58 100755 --- a/docs/publish-docs.sh +++ b/docs/publish-docs.sh @@ -28,9 +28,7 @@ fi cat > "$CONFIG_FILE" < "$CONFIG_FILE" <