diff options
| author | Chris Johns <chrisj@rtems.org> | 2018-08-21 13:41:51 +1000 |
|---|---|---|
| committer | Chris Johns <chrisj@rtems.org> | 2018-08-21 13:47:40 +1000 |
| commit | 5ce8e43506184bd9d8bf072c3f50ad0378f81ee7 (patch) | |
| tree | e9a15331c46b29610b49f83c7568c9a04f80758d /rsb | |
| parent | 9bfda062986dd670562e25b6f19d45b0fd3aa749 (diff) | |
build: Fix indexing so it works on HTML and PDF.
- Remove all genindex.rst files, these are generated and should not
exist in our source.
- Fix the HTML templates so the local specialisation works.
- Add a index link to the sidebar for HTML.
Note, there is no TOC entry for the index in the PDF output and I
cannot figure out how to add one.
Closes #3503
Diffstat (limited to 'rsb')
| -rw-r--r-- | rsb/genindex.rst | 4 | ||||
| -rw-r--r-- | rsb/index.rst | 2 |
2 files changed, 1 insertions, 5 deletions
diff --git a/rsb/genindex.rst b/rsb/genindex.rst deleted file mode 100644 index 07b4393..0000000 --- a/rsb/genindex.rst +++ /dev/null @@ -1,4 +0,0 @@ -.. comment SPDX-License-Identifier: CC-BY-SA-4.0 - -Index -===== diff --git a/rsb/index.rst b/rsb/index.rst index 3f46b9f..7b64945 100644 --- a/rsb/index.rst +++ b/rsb/index.rst @@ -62,4 +62,4 @@ Table of Contents commands bug-reporting - genindex +* :ref:`genindex` |