Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | sphinx: Use the pip installed sphinx-rtd-theme | Chris Johns | 2024-02-21 | 1 | -2/+0 |
| | | | | | | | | | | | | - Remove the RTEMS version of the theme - Use conf.py to specify our style sheet - Depend on the jQuery contrib package for including jQuery - Detect the theme is installed Closes #4994 | ||||
* | Use pathto() on the genindex URL to make it relative. | Chris Johns | 2019-02-15 | 1 | -1/+1 |
| | |||||
* | build: Fix indexing so it works on HTML and PDF. | Chris Johns | 2018-08-21 | 1 | -2/+9 |
| | | | | | | | | | | | | - 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 | ||||
* | Initial reST documentation using Sphinx. | Amar Takhar | 2016-05-02 | 1 | -0/+5 |