summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorQuentin Schulz <[email protected]>2026-08-25 18:49:56 +0200
committerHeinrich Schuchardt <[email protected]>2026-08-29 06:41:35 +0200
commitc591468702e80335ea3cd952d251c0ee396d977a (patch)
treee0a789dbb0a46959d0b2c140289d16bf092b76c7
parent600a84021faaff90949dd62d36b7b20656fdd1c1 (diff)
doc: develop/coccinelle: update links
The original links often time out. On the Wayback Machine[1], the root URL is redirected to https://coccinelle.gitlabpages.inria.fr so use that link directly. [1] https://web.archive.org/web/20251028230912/http://coccinelle.lip6.fr/ Signed-off-by: Quentin Schulz <[email protected]>
-rw-r--r--doc/develop/coccinelle.rst4
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/develop/coccinelle.rst b/doc/develop/coccinelle.rst
index 70274c3f5f5..54ea8eee0e9 100644
--- a/doc/develop/coccinelle.rst
+++ b/doc/develop/coccinelle.rst
@@ -34,7 +34,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:
@@ -66,7 +66,7 @@ The wiki documentation always refers to the linux-next version of the script.
For Semantic Patch Language(SmPL) grammar documentation refer to:
-http://coccinelle.lip6.fr/documentation.php
+https://coccinelle.gitlabpages.inria.fr/website/documentation.html
Using Coccinelle on the Linux kernel
------------------------------------