Add a script for automating execution.

inspircd · Jan 20, 2025 · 4a8180a · 4a8180a
1 parent 6c63c7d
commit 4a8180a
Showing 1 changed file with 7 additions and 0 deletions.
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/