4 Commits

Author	SHA1	Message	Date
Chris Johns	204ac80935	sphinx: Use the pip installed sphinx-rtd-theme ... - 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	2024-02-21 07:44:36 -06:00
Chris Johns	f7384cc2e2	Use pathto() on the genindex URL to make it relative.	2019-02-15 09:40:50 +11:00
Chris Johns	5ce8e43506	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	2018-08-21 13:47:40 +10:00
Amar Takhar	5daabd23cf	Initial reST documentation using Sphinx.	2016-05-02 20:51:07 -04:00