| Commit message (Collapse) | Author | Age | Files | Lines |
|
|
|
|
|
|
|
|
|
|
|
| |
- 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
|
|
|
|
|
|
|
|
|
| |
68a19ca / 0.4.3.dev0. I have been using this one for a while without
issues.
This should fix the search issues.
closes #3880
|
|
* 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.
|