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

Masahiro Yamada yamada.masahiro at socionext.com
Tue Nov 14 02:03:59 CET 2017


Hi Julia, Jon,

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


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


More information about the Cocci mailing list