From cf490494c3bf0b4ca687420820f5f5b058813a55 Mon Sep 17 00:00:00 2001
From: Slendi <slendi@socopon.com>
Date: Thu, 12 Mar 2026 08:35:40 +0200
Subject: [PATCH] Fix .gitignore and add build_docs.sh

Signed-off-by: Slendi <slendi@socopon.com>
---
 .gitignore         |  1 +
 docs/build_docs.sh | 10 ++++++++++
 2 files changed, 11 insertions(+)
 create mode 100755 docs/build_docs.sh

diff --git a/.gitignore b/.gitignore
index 546a2a9..6b92cac 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,4 +1,5 @@
 [Bb]uild*
+![Bb]uild*.*
 .cache
 result
 .direnv
diff --git a/docs/build_docs.sh b/docs/build_docs.sh
new file mode 100755
index 0000000..8608a5b
--- /dev/null
+++ b/docs/build_docs.sh
@@ -0,0 +1,10 @@
+#!/usr/bin/env bash
+
+set -euo pipefail
+
+repo_root="$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)"
+
+doxygen "${repo_root}/docs/Doxyfile"
+"${repo_root}/docs/postprocess-doxygen.sh" "${repo_root}/build/docs/html"
+
+echo "Docs generated at ${repo_root}/build/docs/html"