[docs] Update download page for 4.12.0-dev1 and convert docs to HTML #31

	name: Publish Docs

	on:
	push:
	branches:
	- 4.x-cuda
	paths:
	- 'docs/**.html'
	- 'docs/**.css'
	- 'docs/**.js'
	workflow_dispatch:

	jobs:
	deploy:
	runs-on: ubuntu-latest
	steps:
	- name: Checkout
	uses: actions/checkout@v4

	- name: Update gh-pages Branch
	shell: bash
	run: \|
	git config --global user.name github-actions
	git config --global user.email github-actions@github.com

	cp -r docs docs-tmp
	git fetch origin gh-pages
	git checkout gh-pages
	mv -f docs-tmp/* .
	git add *
	if git diff --cached --quiet; then
	echo "No changes to deploy."
	else
	git commit -m "[docs] @${{ github.triggering_actor }}: Update Documentation" \
	-m "Source: ${{ github.ref_name }} (${{ github.sha }})"
	git push
	fi

Provide feedback