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 <[email protected]> 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 > >
