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

Masahiro Yamada yamada.masahiro at socionext.com
Thu Nov 16 01:04:56 CET 2017


2017-11-14 1:50 GMT+09:00 Julia Lawall <julia.lawall at lip6.fr>:
> The wiki is no longer available.
>
> Signed-off-by: Julia Lawall <julia.lawall at lip6.fr>
>
> ---
>
> 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


More information about the Cocci mailing list