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

From: Masahiro Yamada
Date: Wed Nov 15 2017 - 19:06:08 EST


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


Applied to linux-kbuild/misc. Thanks!

--
Best Regards
Masahiro Yamada