Under Debian, latexmk is needed to compile the manual

[skip ci]
parent 3f74bcb7
Pipeline #1950 skipped