Python FEniCS/ufl@b4d5c6721e0b245b71f296b4e3a59f4cb64d85a0 #493

	name: Build and deploy website

	on:
	push:
	branches: [main]
	pull_request:
	branches: [main]

	jobs:
	build:
	if: github.ref != 'refs/heads/main'
	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v4

	# Make index.html
	- name: Set up Python
	uses: actions/setup-python@v5
	with:
	python-version: 3.11
	- name: Generate index.html
	run: \|
	sudo apt update
	sudo apt install -y ruby-bundler ruby-dev
	python3 -m pip install -r requirements.txt
	python3 make_index.py
	- name: Mark old docs
	run: python3 mark_old_docs.py

	- name: Copy web files into _html folder
	run: \|
	mkdir _html
	cp -r index.html ufl basix ffcx dolfinx _html
	- name: Upload build as artifact
	uses: actions/upload-artifact@v4
	with:
	name: website
	path: _html
	if-no-files-found: error

	build-and-deploy:
	if: github.ref == 'refs/heads/main'
	runs-on: ubuntu-latest

	permissions:
	contents: read
	pages: write
	id-token: write

	steps:
	- uses: actions/checkout@v4

	# Make index.html
	- name: Set up Python
	uses: actions/setup-python@v5
	with:
	python-version: 3.11
	- name: Generate index.html
	run: \|
	sudo apt update
	sudo apt install -y ruby-bundler ruby-dev
	python3 -m pip install -r requirements.txt
	python3 make_index.py
	- name: Mark old docs
	run: python3 mark_old_docs.py

	- name: Copy web files into _html folder
	run: \|
	mkdir _html
	cp -r index.html ufl basix ffcx dolfinx _html

	# Deploy to GitHub Pages
	- name: Setup Pages
	uses: actions/configure-pages@v4
	- name: Upload artifact
	uses: actions/upload-pages-artifact@v3
	with:
	path: '_html'
	- name: Deploy to GitHub Pages
	id: deployment
	uses: actions/deploy-pages@v4

Provide feedback