Fix building the team manual on debian trixie.#2890

meisterT merged 1 commit intoDOMjudge:mainDOMjudge/domjudge:mainfrom

meisterT:teammanualmeisterT/domjudge:teammanualCopy head branch name to clipboard