diff options
| author | Jake Zerrer <him@jakezerrer.com> | 2025-11-22 10:31:29 -0500 |
|---|---|---|
| committer | Jake Zerrer <him@jakezerrer.com> | 2025-11-22 12:06:51 -0500 |
| commit | 1125fc0cccbbba82f3c8619d0a8ad55948372769 (patch) | |
| tree | 61ad26a2f621ca4c0aea126ebca2252960157b0f /bin/build-docs | |
| parent | 8db272d05593c56846833a0d1e331e1c3085f5e1 (diff) | |
Add `docs` and `build-docs` bins
Diffstat (limited to 'bin/build-docs')
| -rwxr-xr-x | bin/build-docs | 7 |
1 files changed, 7 insertions, 0 deletions
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!" |