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

From: Masahiro Yamada
Date: Mon Nov 13 2017 - 20:04:56 EST


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.



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