[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