diff options
| author | Markus Heiser <markus.heiser@darmarIT.de> | 2016-08-15 17:15:59 +0200 |
|---|---|---|
| committer | Jonathan Corbet <corbet@lwn.net> | 2016-08-18 15:31:56 -0600 |
| commit | 505f711174b03f42bdfae1aa6cc191b26c157e94 (patch) | |
| tree | 14d7f6ba72d6ff3c6929956849fc07cafae1ce56 /Documentation/index.rst | |
| parent | cfd7c612baa61af61b2c57b7b8321adf2d1b5d90 (diff) | |
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/index.rst')
| -rw-r--r-- | Documentation/index.rst | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Documentation/index.rst b/Documentation/index.rst index bdd9525e05aa..a15f81855b39 100644 --- a/Documentation/index.rst +++ b/Documentation/index.rst @@ -19,4 +19,3 @@ Indices and tables ================== * :ref:`genindex` -* :ref:`search` |