1 files changed, 8 insertions, 0 deletions
diff --git a/src/doc/book/ci/validate.sh b/src/doc/book/ci/validate.sh
new file mode 100755
index 000000000..9d65bc161
--- /dev/null
+++ b/src/doc/book/ci/validate.sh
@@ -0,0 +1,8 @@
+#!/bin/bash
+
+set -eu
+
+for file in src/*.md ; do
+    echo Checking references in "$file"
+    cargo run --quiet --bin link2print < "$file" > /dev/null
+done
+\ No newline at end of file