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 | |
parent | 9e1f08607f904e89568e197f4e30985484a87fd7 (diff) | |
download | linux-stable-c289312f964b6e8851d0812b65f59c8b0387e78d.tar.gz linux-stable-c289312f964b6e8851d0812b65f59c8b0387e78d.tar.bz2 linux-stable-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>
-rw-r--r-- | Documentation/dev-tools/conf.py | 10 | ||||
-rw-r--r-- | Documentation/dev-tools/index.rst (renamed from Documentation/dev-tools/tools.rst) | 8 | ||||
-rw-r--r-- | Documentation/index.rst | 2 |
3 files changed, 19 insertions, 1 deletions
diff --git a/Documentation/dev-tools/conf.py b/Documentation/dev-tools/conf.py new file mode 100644 index 000000000000..7faafa3f7888 --- /dev/null +++ b/Documentation/dev-tools/conf.py @@ -0,0 +1,10 @@ +# -*- coding: utf-8; mode: python -*- + +project = "Development tools for the kernel" + +tags.add("subproject") + +latex_documents = [ + ('index', 'dev-tools.tex', project, + 'The kernel development community', 'manual'), +] diff --git a/Documentation/dev-tools/tools.rst b/Documentation/dev-tools/index.rst index 824ae8e54dd5..07d881147ef3 100644 --- a/Documentation/dev-tools/tools.rst +++ b/Documentation/dev-tools/index.rst @@ -23,3 +23,11 @@ whole; patches welcome! kmemleak kmemcheck gdb-kernel-debugging + + +.. only:: subproject and html + + Indices + ======= + + * :ref:`genindex` 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 |