We could also fix this issue by updating sphinx to a newer version.
But this patch will not break anything even if updated to the newer version.
On Sat, Feb 22, 2020 at 5:35 PM G S Niteesh Babu <niteesh...@gmail.com>
wrote:
> This patch fixes the search field which previously was not working
> due to this commit 71dd8bfbf94417ad55b2444e1dbd219db266f335 in
> sphinx.
> ---
> common/sphinx_rtd_theme_rtems/layout.html | 3 ++-
> common/sphinx_rtd_theme_rtems/layout_old.html | 3 ++-
> 2 files changed, 4 insertions(+), 2 deletions(-)
>
> diff --git a/common/sphinx_rtd_theme_rtems/layout.html
> b/common/sphinx_rtd_theme_rtems/layout.html
> index 44978c9..ca63b80 100644
> --- a/common/sphinx_rtd_theme_rtems/layout.html
> +++ b/common/sphinx_rtd_theme_rtems/layout.html
> @@ -167,7 +167,8 @@
> VERSION:'{{ release|e }}',
> COLLAPSE_INDEX:false,
> FILE_SUFFIX:'{{ '' if no_search_suffix else file_suffix }}',
> - HAS_SOURCE: {{ has_source|lower }}
> + HAS_SOURCE: {{ has_source|lower }},
> + SOURCELINK_SUFFIX: '{{ sourcelink_suffix }}'
> };
> </script>
> {%- for scriptfile in script_files %}
> diff --git a/common/sphinx_rtd_theme_rtems/layout_old.html
> b/common/sphinx_rtd_theme_rtems/layout_old.html
> index deb8df2..f0dc2af 100644
> --- a/common/sphinx_rtd_theme_rtems/layout_old.html
> +++ b/common/sphinx_rtd_theme_rtems/layout_old.html
> @@ -91,7 +91,8 @@
> VERSION: '{{ release|e }}',
> COLLAPSE_INDEX: false,
> FILE_SUFFIX: '{{ '' if no_search_suffix else file_suffix }}',
> - HAS_SOURCE: {{ has_source|lower }}
> + HAS_SOURCE: {{ has_source|lower }},
> + SOURCELINK_SUFFIX: '{{ sourcelink_suffix }}'
> };
> </script>
> {%- for scriptfile in script_files %}
> --
> 2.17.1
>
>
_______________________________________________
devel mailing list
devel@rtems.org
http://lists.rtems.org/mailman/listinfo/devel
