summaryrefslogtreecommitdiffstats
path: root/Documentation/index.rst
diff options
context:
space:
mode:
authorMarkus Heiser <markus.heiser@darmarit.de>2016-10-26 08:23:14 +0200
committerJonathan Corbet <corbet@lwn.net>2016-10-27 01:24:54 +0200
commitc289312f964b6e8851d0812b65f59c8b0387e78d (patch)
treef0e36913788ea4762e93072b803f7b747b4b199f /Documentation/index.rst
parentMerge branch 'mauro-books' into docs-next (diff)
downloadlinux-c289312f964b6e8851d0812b65f59c8b0387e78d.tar.xz
linux-c289312f964b6e8851d0812b65f59c8b0387e78d.zip
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/index.rst')
-rw-r--r--Documentation/index.rst2
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/index.rst b/Documentation/index.rst
index f6a3d4766495..0f98823126f2 100644
--- a/Documentation/index.rst
+++ b/Documentation/index.rst
@@ -14,7 +14,7 @@ Contents:
admin-guide/index
kernel-documentation
process/index
- dev-tools/tools
+ dev-tools/index
driver-api/index
media/index
gpu/index