diff --git a/ci/fmt.sh b/ci/fmt.sh
index 4fb39da34..90b405eab 100755
--- a/ci/fmt.sh
+++ b/ci/fmt.sh
@@ -3,10 +3,4 @@ set -eu
 . "$(dirname "$0")/sub/lib.sh"
 cd -- "$(dirname "$0")/.."
 
-if is_changed README.md; then
-  sh_c tocsubst --skip 1 README.md
-fi
-if is_changed docs/INSTALL.md; then
-  sh_c tocsubst --skip 1 docs/INSTALL.md
-fi
-./ci/sub/fmt/make.sh
+./ci/sub/bin/fmt.sh
diff --git a/ci/sub b/ci/sub
index f668611e9..8892ef430 160000
--- a/ci/sub
+++ b/ci/sub
@@ -1 +1 @@
-Subproject commit f668611e9b1cfc335230ab6f8161cf87f74f174d
+Subproject commit 8892ef43000921a29a1f1118c84d7eabbb9ef0c5