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/__init__.py | |
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/__init__.py')
-rw-r--r-- | common/sphinx_rtd_theme_rtems/__init__.py | 30 |
1 files changed, 0 insertions, 30 deletions
diff --git a/common/sphinx_rtd_theme_rtems/__init__.py b/common/sphinx_rtd_theme_rtems/__init__.py deleted file mode 100644 index 32c87c3..0000000 --- a/common/sphinx_rtd_theme_rtems/__init__.py +++ /dev/null @@ -1,30 +0,0 @@ -""" -Sphinx Read the Docs theme. - -From https://github.com/ryan-roemer/sphinx-bootstrap-theme. -""" - -from os import path - -import sphinx - - -__version__ = '0.4.3.dev0' -__version_full__ = __version__ - - -def get_html_theme_path(): - """Return list of HTML theme paths.""" - cur_dir = path.abspath(path.dirname(path.dirname(__file__))) - return cur_dir - - -# See http://www.sphinx-doc.org/en/stable/theming.html#distribute-your-theme-as-a-python-package -def setup(app): - app.add_html_theme('sphinx_rtd_theme', path.abspath(path.dirname(__file__))) - - if sphinx.version_info >= (1, 8, 0): - # Add Sphinx message catalog for newer versions of Sphinx - # See http://www.sphinx-doc.org/en/master/extdev/appapi.html#sphinx.application.Sphinx.add_message_catalog - rtd_locale_path = path.join(path.abspath(path.dirname(__file__)), 'locale') - app.add_message_catalog('sphinx', rtd_locale_path) |