[PATCH] RTEMS Docs: Fix search field

[Chris Johns]

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 %}
>