unix/main: Use standard pyexec/repl for unix & windows ports. #255

	name: Build docs

	on:
	push:
	pull_request:
	paths:
	- docs/**

	concurrency:
	group: ${{ github.workflow }}-${{ github.ref }}
	cancel-in-progress: true

	jobs:
	build:
	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v4
	- uses: actions/setup-python@v5
	- name: Install Python packages
	run: pip install -r docs/requirements.txt
	- name: Build docs
	run: make -C docs/ html

Provide feedback