[PATCH] RTEMS Docs: Fix search field
G S Niteesh Babu
niteesh.gs at gmail.com
Sat Feb 22 12:05:36 UTC 2020
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
More information about the devel
mailing list