summaryrefslogtreecommitdiff
path: root/Documentation/dev-tools/tools.rst
diff options
context:
space:
mode:
authorJonathan Corbet <corbet@lwn.net>2016-08-08 16:03:14 -0600
committerJonathan Corbet <corbet@lwn.net>2016-08-18 17:32:11 -0600
commit4b9033a33494ec9154d63e706e9e47f7eb3fd59e (patch)
tree96f8eed073c68ba979c22a3da30e1f2f87577b21 /Documentation/dev-tools/tools.rst
parent059c5e918f6613d7062f27705488e5bd72cd09bd (diff)
docs: sphinxify coccinelle.txt and add it to dev-tools
No textual changes have been made, but the formatting has obviously been tweaked. Cc: Michal Marek <mmarek@suse.com> Cc: Gilles Muller <Gilles.Muller@lip6.fr> Acked-by: Nicolas Palix <nicolas.palix@imag.fr> Acked-by: Julia Lawall <julia.lawall@lip6.fr> Signed-off-by: Jonathan Corbet <corbet@lwn.net>
Diffstat (limited to 'Documentation/dev-tools/tools.rst')
-rw-r--r--Documentation/dev-tools/tools.rst1
1 files changed, 1 insertions, 0 deletions
diff --git a/Documentation/dev-tools/tools.rst b/Documentation/dev-tools/tools.rst
index 60ddb9ea6ef9..ae0c58c784db 100644
--- a/Documentation/dev-tools/tools.rst
+++ b/Documentation/dev-tools/tools.rst
@@ -14,3 +14,4 @@ whole; patches welcome!
.. toctree::
:maxdepth: 2
+ coccinelle