On 8/25/26 18:49, Quentin Schulz wrote:
From: Quentin Schulz <[email protected]>
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]>
---
doc/develop/coccinelle.rst | 4 ++--
diff --git a/doc/develop/coccinelle.rst b/doc/develop/coccinelle.rst
index 70274c3f5f5a..54ea8eee0e9c 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
------------------------------------
Hello Quentin,
The page was copied from Linux.
Maybe you want to add your fixes there too to avoid loosing the
corrections when re-syncing.
Best regards
Heinrich
