docs(admin): rewrite deleted files configuration chapter #1531

	name: 'Sphinx Lint'

	on:
	pull_request:
	push:
	branches:
	- master
	- stable*

	permissions:
	contents: read

	jobs:
	sphinx-lint:
	name: Lint RST files
	runs-on: ubuntu-latest

	steps:
	- name: Checkout repository
	uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
	with:
	persist-credentials: false

	- name: Set up Python
	uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 # v7.0.0
	with:
	python-version: "3.13"
	cache: "pip"

	# The workflow pins sphinx-lint directly (not via requirements.txt) to keep
	# this job lightweight — requirements.txt pulls in the full Sphinx build
	# stack (Pillow, rst2pdf, reportlab, …) which is not needed for linting.
	# sphinx-lint is also listed in requirements.txt so local dev environments
	# get the same version when running `pip install -r requirements.txt`.
	- name: Install sphinx-lint
	run: pip install sphinx-lint==1.0.2

	- name: Register sphinx-lint problem matcher
	run: echo "::add-matcher::.github/problem-matchers/sphinx-lint.json"

	- name: Run sphinx-lint
	run: sphinx-lint admin_manual developer_manual user_manual

Navigation Menu