From 8153a64321acdf990d5d56b74237e69559b99794 Mon Sep 17 00:00:00 2001
From: Tony <anthony@correa.co>
Date: Sat, 2 May 2026 11:44:33 -0500
Subject: [PATCH] Delete tools/build.sh

---
 tools/build.sh | 15 ---------------
 1 file changed, 15 deletions(-)
 delete mode 100755 tools/build.sh

diff --git a/tools/build.sh b/tools/build.sh
deleted file mode 100755
index b6b7917..0000000
--- a/tools/build.sh
+++ /dev/null
@@ -1,15 +0,0 @@
-#!/bin/bash
-set -euo pipefail
-
-MKDOCS_STRICT="${MKDOCS_STRICT:-true}"
-TMPDIR="${RUNNER_TEMP:-$TMPDIR}"
-OUTPUT_DIR="${OUTPUT_DIR:-${TMPDIR}/dist/}"
-# OFFLINE="${OFFLINE:-false}" # This doesn't seem to do anything, set by mkdocs.yml
-MKDOCS_CONFIG="${MKDOCS_CONFIG:-mkdocs/mkdocs.yml}"
-
-STRICT_FLAG=""
-if [ "${MKDOCS_STRICT}" = "true" ]; then
-  STRICT_FLAG="--strict"
-fi
-
-mkdocs build ${STRICT_FLAG} -f $MKDOCS_CONFIG -d $OUTPUT_DIR
\ No newline at end of file