rtems-docs - RTEMS Project documentation.

	Commit message (Collapse)	Author	Files	Lines
2024-02-21	sphinx: Use the pip installed sphinx-rtd-theme	Chris Johns	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
2019-02-15	Use pathto() on the genindex URL to make it relative.	Chris Johns	1	-1/+1

2018-08-21	build: Fix indexing so it works on HTML and PDF.	Chris Johns	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