Add files via upload #16

	name: Auto‑Generate Docs Index

	on:
	push:
	paths:
	- "docs/**"
	- "scripts/generateDocsIndex.js"

	jobs:
	update-index:
	runs-on: ubuntu-latest
	permissions:
	contents: write

	steps:
	- name: Checkout repository
	uses: actions/checkout@v3

	- name: Setup Node
	uses: actions/setup-node@v3
	with:
	node-version: 18

	- name: Install dependencies
	run: npm install

	- name: Generate docs index
	run: npm run generate-docs-index

	- name: Commit and push changes
	run: \|
	git config user.name "GitHub Actions Bot"
	git config user.email "bot@github.com"
	git add docs-index.html
	git commit -m "Auto-update docs index" \|\| echo "No changes to commit"
	git push

Navigation Menu