doc: fix bad filename

This commit is contained in:
Wim Taymans 2025-05-14 11:40:32 +02:00
parent 26099f4c29
commit b957d74eb6