Fix issues with PDF docs generation #39

	# This workflow will triage pull requests and apply a label based on the
	# paths that are modified in the pull request.
	#
	# To use this workflow, you will need to set up a .github/labeler.yml
	# file with configuration. For more information, see:
	# https://github.com/actions/labeler/blob/master/README.md

	name: Labeler
	on: [pull_request_target]
	# Note: potential security risk from this action using pull_request_target.
	# Do not add actions in here which need a checkout of the repo, and do not use any caching in here.
	# See: https://docs.github.com/en/actions/using-workflows/events-that-trigger-workflows#pull_request_target

	permissions:
	checks: write
	contents: read
	pull-requests: write

	jobs:
	label:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/labeler@v4
	with:
	repo-token: "${{ secrets.GITHUB_TOKEN }}"

Provide feedback