diff options
Diffstat (limited to 'scripts/sphinx-pre-install')
-rwxr-xr-x | scripts/sphinx-pre-install | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/sphinx-pre-install b/scripts/sphinx-pre-install index 067459760a7b..f6a5c0bae31e 100755 --- a/scripts/sphinx-pre-install +++ b/scripts/sphinx-pre-install | |||
@@ -532,6 +532,7 @@ sub check_needs() | |||
532 | check_program("dot", 1); | 532 | check_program("dot", 1); |
533 | check_program("convert", 1); | 533 | check_program("convert", 1); |
534 | check_program("rsvg-convert", 1) if ($pdf); | 534 | check_program("rsvg-convert", 1) if ($pdf); |
535 | check_program("latexmk", 1) if ($pdf); | ||
535 | 536 | ||
536 | check_distros(); | 537 | check_distros(); |
537 | 538 | ||