Update section handling on Linux and revise docs deployment workflow #45

	name: Deploy Docs
	on: [push, workflow_dispatch]

	jobs:
	build-docs:
	strategy:
	matrix:
	os: [ubuntu-24.04]
	racket-variant: ['CS']
	racket-version: ['9.0']
	runs-on: ${{ matrix.os }}
	name: Build and deploy docs

	steps:

	- name: Checkout
	uses: actions/checkout@main

	- name: Install Racket
	uses: Bogdanp/setup-racket@v1.14
	with:
	architecture: 'x64'
	distribution: 'full'
	variant: ${{ matrix.racket-variant }}
	version: ${{ matrix.racket-version }}

	- name: Install clang
	run: \|
	sudo apt install -y clang libssl-dev

	- name: Install pandoc
	run: \|
	curl -Ls https://github.com/jgm/pandoc/releases/download/2.11.2/pandoc-2.11.2-1-amd64.deb -o pandoc.deb
	sudo dpkg -i pandoc.deb

	- name: Version info
	run: \|
	clang --version
	gcc --version

	- name: Install a86 package
	run: \|
	raco pkg install --no-docs ../a86/

	- name: Render documentation
	run: \|
	find . -name '*scrbl'
	raco scribble --htmls \
	++xref-in setup/xref load-collections-xref \
	--redirect-main http://docs.racket-lang.org/ \
	--dest out/ \
	a86/scribblings/a86.scrbl

	- name: Archive documentation
	uses: actions/upload-pages-artifact@v3
	with:
	name: github-pages
	path: out/a86

	deploy:
	needs: build-docs
	runs-on: ubuntu-24.04
	permissions:
	pages: write
	id-token: write
	environment:
	name: github-pages
	url: ${{ steps.deployment.outputs.page_url }}
	if: github.ref == 'refs/heads/main'

	steps:

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

Provide feedback