summaryrefslogtreecommitdiffstats
path: root/common/sphinx_rtd_theme_rtems/__init__.py (follow)
Commit message (Collapse)AuthorAgeFilesLines
* sphinx: Use the pip installed sphinx-rtd-themeChris Johns2024-02-211-30/+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 Takhar2020-02-261-6/+19
| | | | | | | | | 68a19ca / 0.4.3.dev0. I have been using this one for a while without issues. This should fix the search issues. closes #3880
* Add support for singlehtml (inlined) HTML file, plus some other fixes.Amar Takhar2016-05-021-0/+17
* This is still broken. * Rename sphinx_rtd_theme so it doesn't pickup locally installed ones * Add a hack to theme.css to get around inliner bug. * Some unrelated fixups in common/waf.py Unfortunatly several dozen fixes got merged into this.