[PATCH] coccinelle: update Coccinelle website URL

[PATCH] coccinelle: update Coccinelle website URL

[相浦彰 / AIURA，AKIRA]

The old Coccinelle project URL is no longer available. Replace it with
the current Coccinelle homepage already referenced by
Documentation/dev-tools/coccinelle.rst.

Signed-off-by: Akira Aiura <akira.aiura.bj@hitachi.com>
---
 Documentation/process/4.Coding.rst | 3 ++-
 scripts/coccicheck                 | 4 ++--
 scripts/nsdeps                     | 2 +-
 3 files changed, 5 insertions(+), 4 deletions(-)

diff --git a/Documentation/process/4.Coding.rst b/Documentation/process/4.Coding.rst
index c0f57d0c4f73..c23b9e48ce49 100644
--- a/Documentation/process/4.Coding.rst
+++ b/Documentation/process/4.Coding.rst
@@ -312,7 +312,8 @@ be found at https://sparse.wiki.kernel.org/index.php/Main_Page if your
 distributor does not package it); it can then be run on the code by adding
 "C=1" to your make command.
 
-The "Coccinelle" tool (http://coccinelle.lip6.fr/) is able to find a wide
+The "Coccinelle" tool
+(https://coccinelle.gitlabpages.inria.fr/website) is able to find a wide
 variety of potential coding problems; it can also propose fixes for those
 problems.  Quite a few "semantic patches" for the kernel have been packaged
 under the scripts/coccinelle directory; running "make coccicheck" will run
diff --git a/scripts/coccicheck b/scripts/coccicheck
index 8dd766009de1..a0a0e0f72bc7 100755
--- a/scripts/coccicheck
+++ b/scripts/coccicheck
@@ -11,7 +11,7 @@ DIR="$(dirname $(readlink -f $0))/.."
 SPATCH="`which ${SPATCH:=spatch}`"
 
 if [ ! -x "$SPATCH" ]; then
-    echo 'spatch is part of the Coccinelle project and is available at http://coccinelle.lip6.fr/'
+    echo 'spatch is part of the Coccinelle project and is available at https://coccinelle.gitlabpages.inria.fr/website'
     exit 1
 fi
 
@@ -229,7 +229,7 @@ coccinelle () {
 	echo " in $FILE."
 	echo ''
 	echo ' More information about semantic patching is available at'
-	echo ' http://coccinelle.lip6.fr/'
+	echo ' https://coccinelle.gitlabpages.inria.fr/website'
 	echo ''
 
 	if [ "`sed -ne 's|^//#||p' $COCCI`" ] ; then
diff --git a/scripts/nsdeps b/scripts/nsdeps
index a3372166ac01..d4b5ebcc2016 100644
--- a/scripts/nsdeps
+++ b/scripts/nsdeps
@@ -8,7 +8,7 @@ SPATCH_REQ_VERSION="1.0.4"
 DIR="$(dirname $(readlink -f $0))/.."
 SPATCH="`which ${SPATCH:=spatch}`"
 if [ ! -x "$SPATCH" ]; then
-	echo 'spatch is part of the Coccinelle project and is available at http://coccinelle.lip6.fr/'
+	echo 'spatch is part of the Coccinelle project and is available at https://coccinelle.gitlabpages.inria.fr/website'
 	exit 1
 fi
 
-- 
2.53.0

Re: [PATCH] coccinelle: update Coccinelle website URL

[Julia Lawall]

[-- Attachment #1: Type: text/plain, Size: 2745 bytes --]



On Thu, 30 Jul 2026, 相浦彰 / AIURA，AKIRA wrote:

>
> The old Coccinelle project URL is no longer available. Replace it with
> the current Coccinelle homepage already referenced by
> Documentation/dev-tools/coccinelle.rst.
>
> Signed-off-by: Akira Aiura <akira.aiura.bj@hitachi.com>

Applied.  Thanks for the update.

julia


> ---
>  Documentation/process/4.Coding.rst | 3 ++-
>  scripts/coccicheck                 | 4 ++--
>  scripts/nsdeps                     | 2 +-
>  3 files changed, 5 insertions(+), 4 deletions(-)
>
> diff --git a/Documentation/process/4.Coding.rst b/Documentation/process/4.Coding.rst
> index c0f57d0c4f73..c23b9e48ce49 100644
> --- a/Documentation/process/4.Coding.rst
> +++ b/Documentation/process/4.Coding.rst
> @@ -312,7 +312,8 @@ be found at https://sparse.wiki.kernel.org/index.php/Main_Page if your
>  distributor does not package it); it can then be run on the code by adding
>  "C=1" to your make command.
>
> -The "Coccinelle" tool (http://coccinelle.lip6.fr/) is able to find a wide
> +The "Coccinelle" tool
> +(https://coccinelle.gitlabpages.inria.fr/website) is able to find a wide
>  variety of potential coding problems; it can also propose fixes for those
>  problems.  Quite a few "semantic patches" for the kernel have been packaged
>  under the scripts/coccinelle directory; running "make coccicheck" will run
> diff --git a/scripts/coccicheck b/scripts/coccicheck
> index 8dd766009de1..a0a0e0f72bc7 100755
> --- a/scripts/coccicheck
> +++ b/scripts/coccicheck
> @@ -11,7 +11,7 @@ DIR="$(dirname $(readlink -f $0))/.."
>  SPATCH="`which ${SPATCH:=spatch}`"
>
>  if [ ! -x "$SPATCH" ]; then
> -    echo 'spatch is part of the Coccinelle project and is available at http://coccinelle.lip6.fr/'
> +    echo 'spatch is part of the Coccinelle project and is available at https://coccinelle.gitlabpages.inria.fr/website'
>      exit 1
>  fi
>
> @@ -229,7 +229,7 @@ coccinelle () {
>  	echo " in $FILE."
>  	echo ''
>  	echo ' More information about semantic patching is available at'
> -	echo ' http://coccinelle.lip6.fr/'
> +	echo ' https://coccinelle.gitlabpages.inria.fr/website'
>  	echo ''
>
>  	if [ "`sed -ne 's|^//#||p' $COCCI`" ] ; then
> diff --git a/scripts/nsdeps b/scripts/nsdeps
> index a3372166ac01..d4b5ebcc2016 100644
> --- a/scripts/nsdeps
> +++ b/scripts/nsdeps
> @@ -8,7 +8,7 @@ SPATCH_REQ_VERSION="1.0.4"
>  DIR="$(dirname $(readlink -f $0))/.."
>  SPATCH="`which ${SPATCH:=spatch}`"
>  if [ ! -x "$SPATCH" ]; then
> -	echo 'spatch is part of the Coccinelle project and is available at http://coccinelle.lip6.fr/'
> +	echo 'spatch is part of the Coccinelle project and is available at https://coccinelle.gitlabpages.inria.fr/website'
>  	exit 1
>  fi
>
> --
> 2.53.0
>
>

RE: Re: [PATCH] coccinelle: update Coccinelle website URL

[相浦彰 / AIURA，AKIRA]

Thank you for confirming.

I will close this case.