#!/usr/bin/env bash
set -euo pipefail

repo_root="$(cd "$(dirname "${BASH_SOURCE[0]}")/../.." && pwd)"
python3 "${repo_root}/scripts/build_docs_index.py"
git add "${repo_root}/docs/skills.json"
