Hi
How did you test this patch?
I have applied the patch, cleaned, built and installed the built docs, opened
the User manual and searched for "Windows" and it found nothing. I am not sure
if this is my set up, I am in another country to the machine with the docs. It
could be something else.
Thanks
Chris
On 22/2/20 11:05 pm, G S Niteesh Babu 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 %}
>
_______________________________________________
devel mailing list
devel@rtems.org
http://lists.rtems.org/mailman/listinfo/devel
