scripts/sphinx-pre-install: allow checking for multiple missing files

The current implementation take a simple file as first argument, this
change allows to take a list as a first argument.

Some file could have a different path according distribution version

Signed-off-by: Jeremy MAURO <j.mauro@criteo.com>
Reviewed-by: Mauro Carvalho Chehab <mchehab+samsung@kernel.org>
Signed-off-by: Jonathan Corbet <corbet@lwn.net>

diff --git a/scripts/sphinx-pre-install b/scripts/sphinx-pre-install
index 013099cd120df2f5ae4cc43b71a5b32ce55c20e4..646b97790e1ac5bdfffb5525383847bbbbac8e8a 100755 (executable)
--- a/scripts/sphinx-pre-install
+++ b/scripts/sphinx-pre-install
@@ -124,11 +124,13 @@ sub add_package($$)
 
 sub check_missing_file($$$)
 {
-       my $file = shift;
+       my $files = shift;
        my $package = shift;
        my $is_optional = shift;
 
-       return if(-e $file);
+       for (@$files) {
+               return if(-e $_);
+       }
 
        add_package($package, $is_optional);
 }
@@ -343,10 +345,10 @@ sub give_debian_hints()
        );
 
        if ($pdf) {
-               check_missing_file("/usr/share/fonts/truetype/dejavu/DejaVuSans.ttf",
+               check_missing_file(["/usr/share/fonts/truetype/dejavu/DejaVuSans.ttf"],
                                   "fonts-dejavu", 2);
 
-               check_missing_file("/usr/share/fonts/noto-cjk/NotoSansCJK-Regular.ttc",
+               check_missing_file(["/usr/share/fonts/noto-cjk/NotoSansCJK-Regular.ttc"],
                                   "fonts-noto-cjk", 2);
        }
 
@@ -413,7 +415,7 @@ sub give_redhat_hints()
        }
 
        if ($pdf) {
-               check_missing_file("/usr/share/fonts/google-noto-cjk/NotoSansCJK-Regular.ttc",
+               check_missing_file(["/usr/share/fonts/google-noto-cjk/NotoSansCJK-Regular.ttc"],
                                   "google-noto-sans-cjk-ttc-fonts", 2);
        }
 
@@ -498,7 +500,7 @@ sub give_mageia_hints()
        $map{"latexmk"} = "texlive-collection-basic";
 
        if ($pdf) {
-               check_missing_file("/usr/share/fonts/google-noto-cjk/NotoSansCJK-Regular.ttc",
+               check_missing_file(["/usr/share/fonts/google-noto-cjk/NotoSansCJK-Regular.ttc"],
                                   "google-noto-sans-cjk-ttc-fonts", 2);
        }
 
@@ -528,7 +530,7 @@ sub give_arch_linux_hints()
        check_pacman_missing(\@archlinux_tex_pkgs, 2) if ($pdf);
 
        if ($pdf) {
-               check_missing_file("/usr/share/fonts/noto-cjk/NotoSansCJK-Regular.ttc",
+               check_missing_file(["/usr/share/fonts/noto-cjk/NotoSansCJK-Regular.ttc"],
                                   "noto-fonts-cjk", 2);
        }
 
@@ -549,11 +551,11 @@ sub give_gentoo_hints()
                "rsvg-convert"          => "gnome-base/librsvg",
        );
 
-       check_missing_file("/usr/share/fonts/dejavu/DejaVuSans.ttf",
+       check_missing_file(["/usr/share/fonts/dejavu/DejaVuSans.ttf"],
                           "media-fonts/dejavu", 2) if ($pdf);
 
        if ($pdf) {
-               check_missing_file("/usr/share/fonts/noto-cjk/NotoSansCJKsc-Regular.otf",
+               check_missing_file(["/usr/share/fonts/noto-cjk/NotoSansCJKsc-Regular.otf"],
                                   "media-fonts/noto-cjk", 2);
        }