From e7f11af1cafa0ab1c6b5835131c1da2fe97ea878 Mon Sep 17 00:00:00 2001
From: Nick Craig-Wood <nick@craig-wood.com>
Date: Fri, 17 Oct 2025 16:05:55 +0100
Subject: [PATCH] build: stop markdown linter leaving behind docker containers

---
 bin/markdown-lint | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bin/markdown-lint b/bin/markdown-lint
index 960ee4798..3634b65cb 100755
--- a/bin/markdown-lint
+++ b/bin/markdown-lint
@@ -14,4 +14,4 @@ if [ -z "$globs" ]; then
     exit 1
 fi
 
-docker run -v $PWD:/workdir --user $(id -u):$(id -g) davidanson/markdownlint-cli2 $globs
+docker run --rm -v $PWD:/workdir --user $(id -u):$(id -g) davidanson/markdownlint-cli2 $globs