[PATCH next 19/45] doc: develop/coccinelle: update links

[Quentin Schulz <foss+uboot@0leil.net>]

From: Quentin Schulz <quentin.schulz@cherry.de>

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 <quentin.schulz@cherry.de>
---
 doc/develop/coccinelle.rst | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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
 ------------------------------------

-- 
2.55.0