Merge branch 'develop' into release

Author: ice-phoenix

build.gradle.kts

@@ -2,7 +2,7 @@ import at.phatbl.shellexec.ShellExec
 
 plugins {
     kotlin("jvm") version "1.4.31" apply false
-    id("at.phatbl.shellexec") version "1.1.3"
+    id("at.phatbl.shellexec") version "1.5.2"
 }
 
 val htmlBuildDir = "$buildDir/spec/html"
@@ -101,5 +101,5 @@ tasks.create("buildPdf") {
 
 tasks.create<ShellExec>("syncGrammarWithKotlinGrammarApache2Repo") {
     group = "internal"
-    command = """echo -e Run the following commands: git checkout release; ...; git subtree push --prefix grammar/src/main/antlr git@github.com:Kotlin/kotlin-grammar-apache2 release"""
+    command = """echo -e "Run the following commands: git checkout release; ...; git subtree push --prefix grammar/src/main/antlr git@github.com:Kotlin/kotlin-grammar-apache2 release""""
 }

docs/scripts/filters/compoundFilter.sh

@@ -1,2 +1,2 @@
-#!/bin/env bash
+#!/bin/bash
 java -cp $PROJECT_DIR/build/libs/filters.jar org.jetbrains.kotlin.spec.CompoundFilterKt $* --embed $TODO_OPTION $STATIC_MATH_OPTION $KATEX_BIN_OPTION $IMAGE_DIR_OPTION