diff options
| author | Mauro Carvalho Chehab <mchehab+huawei@kernel.org> | 2025-08-12 17:52:19 +0200 |
|---|---|---|
| committer | Jonathan Corbet <corbet@lwn.net> | 2025-08-13 10:19:15 -0600 |
| commit | a9c50a51e0129057dbaf58fbaf7ba1a8a69e9b21 (patch) | |
| tree | 20f65585d081765cf70fe1c22d7b7feac1717c0e /scripts | |
| parent | 7bb184222e9fa8b839247c3a1cb1bcf628e519a5 (diff) | |
scripts: sphinx-pre-install: rename it to scripts/sphinx-pre-install.pl
That helps us to later replace the scripts.
Signed-off-by: Mauro Carvalho Chehab <mchehab+huawei@kernel.org>
Signed-off-by: Jonathan Corbet <corbet@lwn.net>
Link: https://lore.kernel.org/r/08d9a32a5aaf3784fef016594efe505d7c5a2697.1754992972.git.mchehab+huawei@kernel.org
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/sphinx-pre-install.pl (renamed from scripts/sphinx-pre-install) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/scripts/sphinx-pre-install b/scripts/sphinx-pre-install.pl index 07234d482fa8..07234d482fa8 100755 --- a/scripts/sphinx-pre-install +++ b/scripts/sphinx-pre-install.pl |