editorial: remove (defunct) .compact from indices (#2555) #8

	name: graphics-aam ED
	on:
	push:
	branches:
	- 'main'
	paths:
	- 'common/**'
	- 'graphics-aam/**'
	workflow_dispatch:

	jobs:
	dispatch:
	runs-on: ubuntu-latest
	steps:
	- name: Dispatch to graphics-aam repo
	run: \|
	curl -L -X POST \
	-H "Accept: application/vnd.github+json" \
	-H "Authorization: Bearer ${{secrets.W3CGRUNTBOT_TOKEN}}" \
	-H "X-GitHub-Api-Version: 2022-11-28" \
	https://api.github.com/repos/w3c/graphics-aam/actions/workflows/build-from-monorepo.yaml/dispatches \
	-d '{"ref":"gh-pages"}'
	update-graphics-aam:
	runs-on: ubuntu-latest
	steps:
	- name: Checkout monorepo
	uses: actions/checkout@v4
	with:
	ref: main
	path: aria
	sparse-checkout: \|
	graphics-aam
	common
	- uses: w3c/spec-prod@v2
	with:
	TOOLCHAIN: respec
	SOURCE: aria/graphics-aam/index.html
	DESTINATION: aria/graphics-aam/index.html
	ARTIFACT_NAME: graphics-aam
	- name: Checkout graphics-aam repo
	uses: actions/checkout@v4
	with:
	repository: w3c/graphics-aam
	ref: gh-pages
	path: graphics-aam
	token: ${{ secrets.W3CGRUNTBOT_TOKEN }}
	- uses: actions/download-artifact@v4
	with:
	name: graphics-aam
	path: graphics-aam/
	# - name: Copy files
	# run: \|
	# cp -r aria/common graphics-aam
	# cp -r aria/graphics-aam .
	- name: Push new files to child repo
	run: \|
	git config user.name "github-actions[bot]"
	git config user.email "41898282+github-actions[bot]@users.noreply.github.com"
	git add .
	git commit -m "Sync from monorepo"
	git push origin gh-pages
	working-directory: graphics-aam

Provide feedback