Add script for verifying source code changes #804

	# A workflow to check generating the HTML lists works.
	# The pages generated by this will have incorrect "Last modified" dates
	# for the issues, because there is no meta-date/dates file used here.
	# That's OK, because this is just a quick check to ensure that the XML
	# is well-formed and the lists can be generated, suitable for checking
	# pull requests are OK to merge.

	name: Check HTML generation

	on:
	pull_request:
	branches: [ master ]
	push:
	branches: [ master ]

	jobs:
	build:
	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v4
	with:
	fetch-depth: 1

	- name: Compile binary programs
	run: make pgms

	- name: Check for carriage returns
	run: \|
	if grep -IUrl --exclude-dir=.git . -e $'\r'; then
	echo "Sorry, carriage returns are not allowed in the repo."
	exit 1
	fi

	- name: XML validation
	run: \|
	sudo apt-get install -y libxml2-utils
	bin/lint.sh

	- name: Generate HTML lists
	run: make lists

Provide feedback