commit 059c5e918f6613d7062f27705488e5bd72cd09bd
author Jonathan Corbet <corbet@lwn.net> Mon Aug 08 16:00:25 2016 -0600
committer Jonathan Corbet <corbet@lwn.net> Thu Aug 18 17:31:51 2016 -0600
tree d16ba659e22b61fc471af67ec2d0032faf8efbb3
parent 29b4817d4018df78086157ea3a55c1d9424a7cfc

docs: create a new dev-tools directory

This directory will be a collecting point for documentation oriented around
development tools.  As a step toward ordering Documentation/ it's a small
one, but we have to start somewhere...

Signed-off-by: Jonathan Corbet <corbet@lwn.net>

Documentation/index.rst

diff --git a/Documentation/index.rst b/Documentation/index.rst
index e0fc729..643fb32 100644
--- a/Documentation/index.rst
+++ b/Documentation/index.rst
@@ -14,6 +14,7 @@
    :maxdepth: 2
 
    kernel-documentation
+   dev-tools/tools
    media/media_uapi
    media/media_kapi
    media/dvb-drivers/index