tidy up #50

	name: Build LaTeX document
	on:
	push:
	branches:
	- "*"
	pull_request:
	branches:
	- "*"

	permissions:
	contents: read
	pull-requests: read

	jobs:
	build_latex:
	runs-on: ubuntu-latest
	permissions:
	contents: write
	steps:
	- name: Set up Git repository
	uses: actions/checkout@v4
	- name: Compile LaTeX document
	uses: xu-cheng/latex-action@v3
	with:
	root_file: main.tex
	pre_compile: cd mug_document_src
	latexmk_use_lualatex: true
	- name: Commit and push PDF
	run: \|
	git config --global user.name "GitHub Actions"
	git config --global user.email "[email protected]"
	git pull
	git add mug_document_src/main.pdf
	git commit -m "Update current version of the Marine User Guide" \|\| echo "No changes to commit"
	git push origin HEAD:${{ github.head_ref \|\| github.ref_name }}

Provide feedback