Docs

Remove maketools and fix frontend tools tde data usage (#362) #6

	name: Docs
	on:
	push:
	branches:
	- main
	paths:
	- "documentation/**"

	permissions:
	contents: read

	jobs:
	release:
	name: Release
	runs-on: ubuntu-latest
	defaults:
	run:
	working-directory: ${{ github.workspace }}/documentation

	steps:
	- name: Chekout
	uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2

	- name: Set up Python
	uses: actions/setup-python@0b93645e9fea7318ecaed2b359559ac225c90a2b # v5.3.0
	with:
	python-version: "3.x"

	- name: Configure git
	env:
	ROBOT_TOKEN: ${{ secrets.ROBOT_TOKEN }}
	run: \|
	git config --global url."https://percona-platform-robot:${ROBOT_TOKEN}@github.com".insteadOf "https://github.com"
	git config user.name "GitHub Action"
	git config user.email "[email protected]"
	git config user.password "${ROBOT_TOKEN}"
	echo "GIT_USER=percona-platform-robot:${ROBOT_TOKEN}" >> $GITHUB_ENV

	- name: Install MkDocs
	run: \|
	python -m pip install --upgrade pip
	pip install wheel
	if [ -f requirements.txt ]; then pip install -r requirements.txt; fi

	- name: Deploy
	run: \|
	mike deploy main -p
	mike set-default main -p
	mike retitle main "Beta" -p

Provide feedback