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 /develenv/index.rst | |
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 'develenv/index.rst')
-rw-r--r-- | develenv/index.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/develenv/index.rst b/develenv/index.rst index 0c30eb6..fb2dbcf 100644 --- a/develenv/index.rst +++ b/develenv/index.rst @@ -47,4 +47,4 @@ to the Community Project hosted at http://www.rtems.org/. utilities command - genindex +* :ref:`genindex` |