Merge feature into main branch #5

	---
	name: Update Doxyfile
	on:
	pull_request:
	types:
	- opened
	- reopened
	- synchronize
	paths:
	- .github/workflows/update_doxyfile.yml
	- build
	- build.bat
	- build_system/main.py
	- build_system/core/**
	- build_system/util/**
	- build_system/targets/paths.py
	- build_system/targets/documentation/*
	- build_system/targets/documentation/cpp/*
	schedule:
	- cron: 0 5 2 * *
	workflow_dispatch:
	jobs:
	update_doxyfile:
	name: Update Doxyfile
	runs-on: ubuntu-latest
	steps:
	- name: Checkout
	uses: actions/checkout@v4
	with:
	ref: bugfix
	- name: Setup Python
	uses: actions/setup-python@v5
	with:
	python-version-file: .version-python
	- name: Setup git
	uses: fregante/setup-git-user@v2
	- name: Generate token
	uses: actions/create-github-app-token@v1
	id: app-token
	with:
	app-id: ${{ secrets.TOKEN_APP_ID }}
	private-key: ${{ secrets.TOKEN_APP_SECRET }}
	- name: Update Doxyfile
	run: \|
	./build update_doxyfile
	git add build_system/targets/documentation/cpp/Doxyfile
	- name: Submit pull request
	id: pull-request
	uses: peter-evans/create-pull-request@v7
	with:
	token: ${{ steps.app-token.outputs.token }}
	commit-message: Update Doxyfile.
	branch: update-doxyfile
	title: Update Doxyfile
	labels: bot
	assignees: mrapp-ke
	body: Update the Doxygen configuration file.
	- name: Enable auto-merge
	if: ${{ steps.pull-request.outputs.pull-request-operation == 'created' }}
	env:
	GH_TOKEN: ${{ steps.app-token.outputs.token }}
	run: gh pr merge --merge --auto "${{ steps.pull-request.outputs.pull-request-number }}"

Provide feedback