fix: dl.dpp.dev was not downloading rpms any more (#1335) #1460

	name: Docs Build (dpp.dev)
	on:
	push:
	branches:
	- 'dev'
	files:
	- '**Doxyfile'
	- 'docpages/'
	- '*/.h'
	- '**/documentation.yml'

	permissions:
	contents: read

	jobs:
	docs:
	permissions:
	contents: write # Needs to be able to write to the repo.
	name: Build Documentation
	runs-on: ubuntu-20.04

	concurrency:
	group: docs-deployment
	cancel-in-progress: true

	steps:
	- name: Harden Runner
	uses: step-security/harden-runner@91182cccc01eb5e619899d80e4e971d6181294a7 # v2.10.1
	with:
	egress-policy: audit

	- name: Setup PHP
	uses: shivammathur/setup-php@c541c155eee45413f5b09a52248675b1a2575231 # v2
	with:
	php-version: '8.0'

	- name: Checkout D++
	uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
	with:
	submodules: recursive

	- name: Generate Docs
	run: cd docpages && php makedocs-gh.php
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	PERSONAL_ACCESS_TOKEN: ${{ secrets.PERSONAL_ACCESS_TOKEN }}

Provide feedback