#!/bin/sh
# scripts/regen-docs.sh — convenience wrapper:
#   1. run doxygen to refresh XML + HTML output
#   2. regenerate doc/api/headers.md from the XML
#   3. report coverage so the operator sees the impact
#
# Intended for local use ("I just added a \file brief — regenerate
# the markdown landing page"); the same steps run automatically in
# .gitea/workflows/doxygen-pages.yml on every push to main that touches
# the public headers.
set -eu
cd "$(dirname "$0")/.."
doxygen Doxyfile >/dev/null
python3 scripts/gen-headers-md.py
bash scripts/doxygen-coverage.sh
