show basename in source: split line (#1017) #141

	name: Generate GithubPages

	on:

	workflow_dispatch:

	push:
	branches:
	- main

	jobs:
	deploy:
	runs-on: ubuntu-latest
	if: github.event.repository.fork == false
	steps:
	- uses: actions/checkout@v3
	with:
	token: ${{ secrets.GITHUB_TOKEN }}
	- name: Install pre-requisite
	run: \|
	sudo apt install gdb-multiarch python3 python3-dev python3-wheel python3-setuptools git cmake gcc g++ pkg-config libglib2.0-dev gdbserver qemu-user -y
	version=$(gdb -q -nx -ex 'pi print(f"{sys.version_info.major}.{sys.version_info.minor}", end="")' -ex quit)
	python${version} -m pip install --requirement docs/requirements.txt --upgrade
	python${version} -m pip install --requirement tests/requirements.txt --upgrade
	- name: Regenerate GEF API file
	run: \|
	echo "source $(pwd)/gef.py" > ~/.gdbinit
	bash scripts/generate-api-docs.sh
	bash scripts/generate-settings-docs.sh
	bash scripts/generate-coverage-docs.sh
	- name: Build and publish the docs
	run: \|
	git config --global user.name "hugsy"
	git config --global user.email "[email protected]"
	mkdocs gh-deploy --force

Provide feedback