tree 828795c142d8f6dfcfaf130308d64a219e02b97e
parent 74425eee71eb44c9f370bd922f72282b69bb0eab
author Nicolas Palix <npalix@diku.dk> 1275837302 +0200
committer Michal Marek <mmarek@suse.cz> 1276293629 +0200

Add Documentation/coccinelle.txt

The purpose of this file is to document how to use Coccinelle and its
spatch tool to check the Linux kernel.

It gives information on where and how to retrieve Coccinelle, and how
to use it with the Coccinelle scripts integrated in the Linux kernel.

Signed-off-by: Nicolas Palix <npalix@diku.dk>
Signed-off-by: Julia Lawall <julia@diku.dk>
Signed-off-by: Michal Marek <mmarek@suse.cz>