rtems-docs - RTEMS Project documentation.

	Commit message (Collapse)	Author	Age	Files	Lines
*	sphinx: Use the pip installed sphinx-rtd-theme	Chris Johns	2024-02-21	9	-742/+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
*	Update sphinx_rtd_theme to https://github.com/readthedocs/sphinx_rtd_theme/	Amar Takhar	2020-02-26	9	-0/+742
	68a19ca / 0.4.3.dev0. I have been using this one for a while without issues. This should fix the search issues. closes #3880