Merge pull request #2265 from johnplatts:hwy_ceil_floor_int_062824 #3071

	name: docs_pages_workflow

	# execute this workflow automatically when a we push to master
	on:
	push:
	permissions:
	contents: write
	pages: write

	jobs:

	build_docs_job:
	runs-on: ubuntu-latest
	container: debian:buster-slim

	steps:

	- name: Prereqs
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	run: \|
	apt-get update
	apt-get install -y git
	git clone "https://token:${GITHUB_TOKEN}@github.com/${GITHUB_REPOSITORY}.git" .
	shell: bash

	- name: Execute script to build our documentation and update pages
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	run: "cp -r g3doc docs && cp README.md docs/g3doc && docs/buildDocs.sh"
	shell: bash

Provide feedback