Re: [PATCH] docs: dev-tools: coccinelle: delete out of date wiki reference

From: Julia Lawall
Date: Tue Nov 14 2017 - 01:10:54 EST




On Tue, 14 Nov 2017, Masahiro Yamada wrote:

> Hi Julia, Jon,
>
> 2017-11-14 1:50 GMT+09:00 Julia Lawall <julia.lawall@xxxxxxx>:
> > The wiki is no longer available.
> >
> > Signed-off-by: Julia Lawall <julia.lawall@xxxxxxx>
> >
>
>
> Jon sent the doc pull request yesterday.
>
> I will pick this up for Kbuild tree
> because I have not sent pull requests for this MW yet.

OK, thanks.

julia

>
>
>
> >
> > diff --git a/Documentation/dev-tools/coccinelle.rst b/Documentation/dev-tools/coccinelle.rst
> > index 37e474f..94f41c2 100644
> > --- a/Documentation/dev-tools/coccinelle.rst
> > +++ b/Documentation/dev-tools/coccinelle.rst
> > @@ -33,9 +33,6 @@ of many distributions, e.g. :
> > You can get the latest version released from the Coccinelle homepage at
> > http://coccinelle.lip6.fr/
> >
> > -Information and tips about Coccinelle are also provided on the wiki
> > -pages at http://cocci.ekstranet.diku.dk/wiki/doku.php
> > -
> > Once you have it, run the following command::
> >
> > ./configure
>
>
>
> --
> Best Regards
> Masahiro Yamada
>