doc: fix path to manual as described in contributing (#482988)

This commit is contained in:
Arne Keller
2026-07-09 13:53:28 +00:00
committed by GitHub

Diff Content Not Available