aboutsummaryrefslogtreecommitdiff
path: root/Documentation/dev-tools
diff options
context:
space:
mode:
authorJulia Lawall <Julia.Lawall@inria.fr>2026-03-10 13:14:31 +0100
committerJonathan Corbet <corbet@lwn.net>2026-03-22 14:52:38 -0600
commit117376394061780680dd4bfd92ea30bf9deafedf (patch)
tree440df1b6590020a0f1172d1180c34f5b486e8069 /Documentation/dev-tools
parent9d437400745edec29eba221c41380a5ae0d925f5 (diff)
coccinelle: update Coccinelle URL
The LIP6 URL no longer functions. Signed-off-by: Julia Lawall <Julia.Lawall@inria.fr> Signed-off-by: Jonathan Corbet <corbet@lwn.net> Message-ID: <20260310121431.362091-1-Julia.Lawall@inria.fr>
Diffstat (limited to 'Documentation/dev-tools')
-rw-r--r--Documentation/dev-tools/coccinelle.rst2
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/dev-tools/coccinelle.rst b/Documentation/dev-tools/coccinelle.rst
index f73ccf5397f3..b8ecb481ddff 100644
--- a/Documentation/dev-tools/coccinelle.rst
+++ b/Documentation/dev-tools/coccinelle.rst
@@ -35,7 +35,7 @@ of many distributions, e.g. :
Some distribution packages are obsolete and it is recommended
to use the latest version released from the Coccinelle homepage at
-http://coccinelle.lip6.fr/
+https://coccinelle.gitlabpages.inria.fr/website
Or from Github at: