diff options
author | Markus Heiser <markus.heiser@darmarit.de> | 2016-10-26 08:23:14 +0200 |
---|---|---|
committer | Jonathan Corbet <corbet@lwn.net> | 2016-10-26 17:24:54 -0600 |
commit | c289312f964b6e8851d0812b65f59c8b0387e78d (patch) | |
tree | f0e36913788ea4762e93072b803f7b747b4b199f /Documentation/dev-tools/tools.rst | |
parent | 9e1f08607f904e89568e197f4e30985484a87fd7 (diff) |
doc-rst: make dev-tools folder buildable stand-alone
Add minimal conf.py and moved dev-tools/tools.rst to dev-tools/index.rst
makes the dev-tools folder buildable stand-alone. To build only this
folder run::
make SPHINXDIRS=dev-tools htmldocs
make SPHINXDIRS=dev-tools pdfdocs
Signed-off-by: Markus Heiser <markus.heiser@darmarit.de>
Signed-off-by: Jonathan Corbet <corbet@lwn.net>
Diffstat (limited to 'Documentation/dev-tools/tools.rst')
-rw-r--r-- | Documentation/dev-tools/tools.rst | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/Documentation/dev-tools/tools.rst b/Documentation/dev-tools/tools.rst deleted file mode 100644 index 824ae8e54dd5..000000000000 --- a/Documentation/dev-tools/tools.rst +++ /dev/null @@ -1,25 +0,0 @@ -================================ -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 - - coccinelle - sparse - kcov - gcov - kasan - ubsan - kmemleak - kmemcheck - gdb-kernel-debugging |