summaryrefslogtreecommitdiff
path: root/Documentation/dev-tools/tools.rst
diff options
context:
space:
mode:
authorJonathan Corbet <corbet@lwn.net>2016-08-07 15:09:14 -0600
committerJonathan Corbet <corbet@lwn.net>2016-08-18 17:39:24 -0600
commitd228af5bcb60fda50f8b3a100c0539c4994df040 (patch)
tree3d204a825cc0a0555001140e165a7ba7ff11c0d6 /Documentation/dev-tools/tools.rst
parent4b9033a33494ec9154d63e706e9e47f7eb3fd59e (diff)
docs: sphinxify sparse.txt and move to dev-tools
Fold the sparse document into the development tools set; no changes to the text itself beyond formatting. 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 ae0c58c784db..d4bbda319e79 100644
--- a/Documentation/dev-tools/tools.rst
+++ b/Documentation/dev-tools/tools.rst
@@ -15,3 +15,4 @@ whole; patches welcome!
:maxdepth: 2
coccinelle
+ sparse