Update deploy.yml #4

	name: Deploy to Github Pages

	# Controls when the workflow will run
	on:
	# Triggers the workflow on push or pull request events for the "master" branch
	push:
	branches: [ "master" ]

	# Allows you to run this workflow manually from the Actions tab
	workflow_dispatch:

	# A workflow run is made up of one or more jobs that can run sequentially or in parallel
	jobs:
	# This workflow contains a single job called "build"
	build:
	# The type of runner that the job will run on
	runs-on: ubuntu-latest

	# Steps represent a sequence of tasks that will be executed as part of the job
	steps:
	# Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it
	- uses: actions/checkout@v4

	- name: Install Pandoc
	run: sudo apt-get install -y pandoc

	# Build the artifacts
	- name: Build book formats
	run: make

	- name: Upload GitHub Pages artifact
	uses: actions/upload-pages-artifact@v3.0.1
	with:
	path: public/
	deploy:
	needs: build
	runs-on: ubuntu-latest

	permissions:
	pages: write
	id-token: write

	environment:
	name: github-pages
	url: ${{ steps.deployment.outputs.page_url }}

	steps:
	- name: Deploy to GitHub Pages
	id: deployment
	uses: actions/deploy-pages@v4

Provide feedback