diff --git a/scripts/sphinx-pre-install b/scripts/sphinx-pre-install index 067459760a7b048d4b53c28ac476189ac5884c21..f6a5c0bae31ec5aca92fa3da34aa0408265dad28 100755 --- a/scripts/sphinx-pre-install +++ b/scripts/sphinx-pre-install @@ -532,6 +532,7 @@ sub check_needs() check_program("dot", 1); check_program("convert", 1); check_program("rsvg-convert", 1) if ($pdf); + check_program("latexmk", 1) if ($pdf); check_distros();