rtems/rtems-docs
1
0
Fork 0
mirror of https://git.rtems.org/rtems-docs/ synced 2025-06-04 10:58:45 +08:00
Code Issues Packages Projects Releases Wiki Activity
1,314 Commits 3 Branches 7 Tags
Commit Graph

5 Commits

Author SHA1 Message Date
Utkarsh Verma
4c87f9b594 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.

Closes #4915
 2023-06-14 15:45:56 +10:00
Amar Takhar
9845183527 Update sphinx_rtd_theme to https://github.com/readthedocs/sphinx_rtd_theme/ 
68a19ca / 0.4.3.dev0. I have been using this one for a while without
issues.

This should fix the search issues.

closes #3880
 2020-02-26 00:09:17 -05:00
Chris Johns
5ce8e43506 build: Fix indexing so it works on HTML and PDF. 
- 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
 2018-08-21 13:47:40 +10:00
Chris Johns
c18d76ae55 Add my-style.css support and add RTEMS to that CSS. 2016-05-02 20:51:25 -04:00
Amar Takhar
a316b1ff6d Add support for singlehtml (inlined) HTML file, plus some other fixes. 
* 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.
 2016-05-02 20:51:25 -04:00