Update index.html #5

	name: to-pages
	on:
	push:
	branches:
	- main
	# paths-ignore:
	# - '.github/workflows/**'
	permissions:
	contents: write

	jobs:
	make-pages:
	runs-on: ubuntu-latest
	steps:
	- name: clone
	uses: actions/checkout@v4
	- uses: actions-rs/toolchain@v1 # get rust toolchain for wasm
	with:
	profile: minimal
	toolchain: stable
	target: wasm32-unknown-unknown
	override: true
	- name: Rust Cache # cache the rust build artefacts
	uses: Swatinem/rust-cache@v1
	- name: Download and install Trunk binary
	run: wget -qO- https://github.com/thedodd/trunk/releases/latest/download/trunk-x86_64-unknown-linux-gnu.tar.gz \| tar -xzf-
	- name: Build # build
	# "${GITHUB_REPOSITORY#*/}" evaluates into the name of the repository
	# using --public-url something will allow trunk to modify all the href paths like from favicon.ico to repo_name/favicon.ico .
	# this is necessary for github pages where the site is deployed to username.github.io/repo_name and all files must be requested
	# relatively as eframe_template/favicon.ico. if we skip public-url option, the href paths will instead request username.github.io/favicon.ico which
	# will obviously return error 404 not found.
	run: ./trunk build --release --public-url "${GITHUB_REPOSITORY#*/}"
	- name: Deploy
	uses: JamesIves/github-pages-deploy-action@v4
	with:
	folder: dist
	single-commit: true

	# EOF

Provide feedback