diff options
| author | Markus Heiser <markus.heiser@darmarIT.de> | 2016-08-15 18:15:59 +0300 |
|---|---|---|
| committer | Jonathan Corbet <corbet@lwn.net> | 2016-08-19 00:31:56 +0300 |
| commit | 505f711174b03f42bdfae1aa6cc191b26c157e94 (patch) | |
| tree | 14d7f6ba72d6ff3c6929956849fc07cafae1ce56 /Documentation/media/conf.py | |
| parent | cfd7c612baa61af61b2c57b7b8321adf2d1b5d90 (diff) | |
| download | linux-505f711174b03f42bdfae1aa6cc191b26c157e94.tar.xz | |
doc-rst: add index to sub-folders
Add a index if only a sub-folder is build e.g.::
make SPHINXDIRS=media cleandocs htmldocs
BTW: removed dead search link in the top-index file
Signed-off-by: Markus Heiser <markus.heiser@darmarIT.de>
Signed-off-by: Jonathan Corbet <corbet@lwn.net>
Diffstat (limited to 'Documentation/media/conf.py')
| -rw-r--r-- | Documentation/media/conf.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Documentation/media/conf.py b/Documentation/media/conf.py index 62bdba237917..77cb2bbd9461 100644 --- a/Documentation/media/conf.py +++ b/Documentation/media/conf.py @@ -1,3 +1,5 @@ # -*- coding: utf-8; mode: python -*- project = 'Linux Media Subsystem Documentation' + +tags.add("subproject") |