add link to extension installation #15

	name: Publish

	on:
	push:
	branches:
	- main
	- master

	jobs:
	publish-docs:
	name: Release Docs
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4

	- name: Download rules
	run: \|
	curl -L https://github.com/mxlint/mxlint-rules/archive/refs/heads/main.zip -o rules.zip
	unzip rules.zip
	mv mxlint-rules-main/rules tmp-rules
	rm -rf mxlint-rules-main

	- name: Build
	run: \|
	git clone https://x-access-token:${{ secrets.PAT }}@github.com/$GITHUB_REPOSITORY -b gh-pages public
	pip install -r requirements.txt
	python scripts/generate-rule-docs.py -r tmp-rules -o docs/Rules
	rm -rf tmp-rules
	mkdocs build --verbose --clean

	- name: Publish
	run: \|
	git config --global user.name 'Robot'
	git config --global user.email '[email protected]'
	rsync -av --delete --exclude='.git' site/ public/
	cd public && git add . && git commit -m "Publish" && git push origin gh-pages

Provide feedback