build

Merge pull request #3070 from AndreasMatthias/fix_doc_filenames #4546

Job	Run time
compile (ubuntu-22.04, linux, linux-x64, alpine:latest, musl)	2m 7s
compile (ubuntu-22.04, linux, linux-x64)	4m 20s
compile (ubuntu-22.04, linux, linux-arm64)	1m 25s
compile (macos-latest, darwin, darwin-x64)	1m 31s
compile (macos-latest, darwin, darwin-arm64)	2m 8s
compile (windows-latest, windows, win32-ia32)	3m 32s
compile (windows-latest, windows, win32-x64)	3m 23s
	18m 26s

Provide feedback