[PATCH] RTEMS Docs: Fix search field

Niteesh G. S. niteesh.gs at gmail.com
Sat Feb 22 12:19:08 UTC 2020


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.gs at 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
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.rtems.org/pipermail/devel/attachments/20200222/98d8c0e0/attachment.html>


More information about the devel mailing list