diff options
| author | Chris Johns <chrisj@rtems.org> | 2024-02-21 16:07:04 +1100 |
|---|---|---|
| committer | Joel Sherrill <joel@rtems.org> | 2024-02-21 07:44:36 -0600 |
| commit | 204ac80935eb82f7b32603f63a12b7f0651a17e6 (patch) | |
| tree | 84d87e42f601e072048f99df92941d6e2b4112a1 /common/sphinx_rtd_theme_rtems/theme.conf | |
| parent | user/bsps/arm: Add documentation for ZynqMP R5 BSP (diff) | |
| download | rtems-docs-204ac80935eb82f7b32603f63a12b7f0651a17e6.tar.bz2 | |
sphinx: Use the pip installed sphinx-rtd-theme
- 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
Diffstat (limited to 'common/sphinx_rtd_theme_rtems/theme.conf')
| -rw-r--r-- | common/sphinx_rtd_theme_rtems/theme.conf | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/common/sphinx_rtd_theme_rtems/theme.conf b/common/sphinx_rtd_theme_rtems/theme.conf deleted file mode 100644 index fd0521f..0000000 --- a/common/sphinx_rtd_theme_rtems/theme.conf +++ /dev/null @@ -1,18 +0,0 @@ -[theme] -inherit = basic -stylesheet = css/theme.css -pygments_style = default - -[options] -canonical_url = -analytics_id = -collapse_navigation = True -sticky_navigation = True -navigation_depth = 4 -includehidden = True -titles_only = -logo_only = -display_version = True -prev_next_buttons_location = bottom -style_external_links = False -style_nav_header_background =
\ No newline at end of file |