tree 942abedcb553e941ee1b8a51895132bd1f39ce52
parent 76c449c3c6851280421e2e60e9dbb67becb7de35
author Heinrich Schuchardt <xypron.glpk@gmx.de> 1591326824 +0200
committer Tom Rini <trini@konsulko.com> 1594989929 -0400

doc: Coccinelle: move to HTML doc

Move doc/README.coccinelle to doc/develop/coccinelle.rst using the current
linux-next version of the text.

Signed-off-by: Heinrich Schuchardt <xypron.glpk@gmx.de>