| 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
|
|
|
|
|
|
| |
Tested on sphinx 7.2, 6.1.3 AND 5.3.0
Closes #4980
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
Unfortunately, updating past Sphinx 5.x results in unordered bullet
lists not formatting correctly as show in a screen capture attached
to #4928. Revert this patch until the issue is resolved and output
is reviewed for other potential issues.
From: Utkarsh Verma <utkarsh@bitbanged.com>
Date: Wed, 14 Jun 2023 05:36:26 +0000
Subject: [PATCH] eng: Fix builds for newer Sphinx versions (>=7)
The current Sphinx theme depends on the `style` parameter which got
deprecated in v5.1 and finally got removed in v7. Now, the `styles` key
should be preferred which is a list of stylesheets. This commit
implements this change.
Updates #4915.
Updates #4928.
|
|
|
|
|
|
|
|
|
| |
The current Sphinx theme depends on the `style` parameter which got
deprecated in v5.1 and finally got removed in v7. Now, the `styles` key
should be preferred which is a list of stylesheets. This commit
implements this change.
Closes #4915
|
|
|
|
|
|
|
|
|
| |
68a19ca / 0.4.3.dev0. I have been using this one for a while without
issues.
This should fix the search issues.
closes #3880
|
|
|
|
|
|
|
|
|
|
|
|
| |
- 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
|
| |
|
|
* 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.
|