index.md: change wrong link name of mimas target #58

	# vim:sw=2:ts=2
	# build html version of docs
	name: build

	# on events
	on:
	pull_request:
	branches:
	- master
	- 'feature/*'

	jobs:
	build:
	runs-on: ubuntu-latest
	name: build

	steps:
	- uses: actions/checkout@v4
	- uses: sphinx-doc/github-problem-matcher@master

	- name: Set up Python ${{ matrix.python-version }}
	uses: actions/setup-python@v5
	with:
	python-version: "3.10"

	- name: Install dependencies
	run: \|
	python -m pip install --upgrade pip
	pip install -r requirements.txt

	- name: Build docs
	run: \|
	make clean html SPHINXOPTS="-W --keep-going -n"

Provide feedback