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