From 1125fc0cccbbba82f3c8619d0a8ad55948372769 Mon Sep 17 00:00:00 2001 From: Jake Zerrer Date: Sat, 22 Nov 2025 10:31:29 -0500 Subject: Add `docs` and `build-docs` bins --- bin/build-docs | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100755 bin/build-docs (limited to 'bin/build-docs') diff --git a/bin/build-docs b/bin/build-docs new file mode 100755 index 0000000..246f5c4 --- /dev/null +++ b/bin/build-docs @@ -0,0 +1,7 @@ +#!/usr/bin/env bash +set -e + +cd "$(dirname "$0")/.." +cd docs +make html +echo "Documentation built successfully!" -- cgit v1.2.3