From 219d9d51d1ac01791570647c5778c23876acaf97 Mon Sep 17 00:00:00 2001
From: Yu Yang <yuyang18@baidu.com>
Date: Wed, 26 Apr 2017 18:58:03 +0800
Subject: [PATCH] Fix document search in sphinx

* It because we using a old version of theme, but sphinx is up to date.
Manually add field in layout.html.

* Fix #1904
---
 doc_theme/templates/layout.html | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/doc_theme/templates/layout.html b/doc_theme/templates/layout.html
index 034740369e..5a12a01394 100644
--- a/doc_theme/templates/layout.html
+++ b/doc_theme/templates/layout.html
@@ -168,7 +168,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: ".txt",
         };
     </script>
     {%- for scriptfile in script_files %}
-- 
GitLab