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/searchbox.html | |
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/searchbox.html')
-rw-r--r-- | common/sphinx_rtd_theme_rtems/searchbox.html | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/common/sphinx_rtd_theme_rtems/searchbox.html b/common/sphinx_rtd_theme_rtems/searchbox.html deleted file mode 100644 index 606f5c8..0000000 --- a/common/sphinx_rtd_theme_rtems/searchbox.html +++ /dev/null @@ -1,9 +0,0 @@ -{%- if builder != 'singlehtml' %} -<div role="search"> - <form id="rtd-search-form" class="wy-form" action="{{ pathto('search') }}" method="get"> - <input type="text" name="q" placeholder="{{ _('Search docs') }}" /> - <input type="hidden" name="check_keywords" value="yes" /> - <input type="hidden" name="area" value="default" /> - </form> -</div> -{%- endif %} |