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@xxxxxxx>
---
Documentation/dev-tools/tools.rst | 16 ++++++++++++++++
Documentation/index.rst | 1 +
2 files changed, 17 insertions(+)
create mode 100644 Documentation/dev-tools/tools.rst
diff --git a/Documentation/dev-tools/tools.rst b/Documentation/dev-tools/tools.rst
new file mode 100644
index 0000000..60ddb9e
--- /dev/null
+++ b/Documentation/dev-tools/tools.rst
@@ -0,0 +1,16 @@
+================================
+Development tools for the kernel
+================================
+
+This document is a collection of documents about development tools that can
+be used to work on the kernel. For now, the documents have been pulled
+together without any significant effot to integrate them into a coherent
+whole; patches welcome!
+
+.. class:: toc-title
+
+ Table of contents
+
+.. toctree::
+ :maxdepth: 2
+
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 @@ Contents:
:maxdepth: 2
kernel-documentation
+ dev-tools/tools
media/media_uapi
media/media_kapi
media/dvb-drivers/index
--
2.9.2
--
To unsubscribe from this list: send the line "unsubscribe linux-doc" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
