From 67a69200f73cfb83f2f444903db0f1dcaf092e5c Mon Sep 17 00:00:00 2001
From: "David A. Harding" <dave@dtrt.org>
Date: Thu, 24 Aug 2023 11:38:13 +0200
Subject: [PATCH] Tools: new "check" command for quick testing

Will be upgraded later
---
 tools/check | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100755 tools/check

diff --git a/tools/check b/tools/check
new file mode 100755
index 00000000..3bd6d4d3
--- /dev/null
+++ b/tools/check
@@ -0,0 +1,5 @@
+#!/bin/bash -eu
+
+mkdir -p build
+asciidoctor --failure-level=WARN -v book.adoc -o build/book.html
+htmlproofer --disable-external build/book.html