Add a script for automating check execution.

SadieCat · SadieCat · commit 8d3c5feb3456 · 2025-01-20T12:57:00.000Z
diff --git a/tools/check.sh b/tools/check.sh
@@ -0,0 +1,7 @@
+#!/bin/sh
+set -ex
+./tools/find-broken-redirects
+./tools/find-missing
+./tools/find-orphans
+./tools/find-whitespace
+yamllint docs/
