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"