diff options
| author | Mauro Carvalho Chehab <mchehab+huawei@kernel.org> | 2025-06-22 08:02:40 +0200 |
|---|---|---|
| committer | Jonathan Corbet <corbet@lwn.net> | 2025-06-25 12:22:48 -0600 |
| commit | 61aeda1e5c0d6ae128736ec4d6a082ee4dd9f04e (patch) | |
| tree | 1c334f0d9a3fbac4004a97e36b9a177aace518e9 | |
| parent | c6b5b1559c0c7bcb5fe9b390d1785adf9e3bc83f (diff) | |
scripts: sphinx-pre-install: fix release detection for Fedora
Fedora distros are now identified as:
Fedora Linux 42
Fix the way script detects it.
Signed-off-by: Mauro Carvalho Chehab <mchehab+huawei@kernel.org>
Signed-off-by: Jonathan Corbet <corbet@lwn.net>
Link: https://lore.kernel.org/r/c2a34860bd986cc5f81fc25554ed91629736e995.1750571906.git.mchehab+huawei@kernel.org
| -rwxr-xr-x | scripts/sphinx-pre-install | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/sphinx-pre-install b/scripts/sphinx-pre-install index 2a311ed00179..3f8d6925e896 100755 --- a/scripts/sphinx-pre-install +++ b/scripts/sphinx-pre-install @@ -413,7 +413,7 @@ sub give_redhat_hints() my $old = 0; my $rel; my $noto_sans_redhat = "google-noto-sans-cjk-ttc-fonts"; - $rel = $1 if ($system_release =~ /release\s+(\d+)/); + $rel = $1 if ($system_release =~ /(release|Linux)\s+(\d+)/); if (!($system_release =~ /Fedora/)) { $map{"virtualenv"} = "python-virtualenv"; |