diff options
| author | Markus Heiser <markus.heiser@darmarit.de> | 2016-10-26 02:23:14 -0400 |
|---|---|---|
| committer | Jonathan Corbet <corbet@lwn.net> | 2016-10-26 19:24:54 -0400 |
| commit | c289312f964b6e8851d0812b65f59c8b0387e78d (patch) | |
| tree | f0e36913788ea4762e93072b803f7b747b4b199f /Documentation/index.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/index.rst')
| -rw-r--r-- | Documentation/index.rst | 2 |
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: | |||
| 14 | admin-guide/index | 14 | admin-guide/index |
| 15 | kernel-documentation | 15 | kernel-documentation |
| 16 | process/index | 16 | process/index |
| 17 | dev-tools/tools | 17 | dev-tools/index |
| 18 | driver-api/index | 18 | driver-api/index |
| 19 | media/index | 19 | media/index |
| 20 | gpu/index | 20 | gpu/index |