From a39cad7be045c8524aa6bd3087853aa4383aeec2 Mon Sep 17 00:00:00 2001
From: Dennis Camera <dennis.camera@ssrq-sds-fds.ch>
Date: Mon, 19 Jul 2021 10:04:08 +0200
Subject: [PATCH] [manuals] Fix search for 6.9.6, 6.9.7, beta

---
 src/extra/manual/6.9.6/search.html | 4 +++-
 src/extra/manual/6.9.7/search.html | 4 +++-
 src/extra/manual/beta/search.html  | 4 +++-
 3 files changed, 9 insertions(+), 3 deletions(-)

diff --git a/src/extra/manual/6.9.6/search.html b/src/extra/manual/6.9.6/search.html
index 8dd78690..0cdf8177 100644
--- a/src/extra/manual/6.9.6/search.html
+++ b/src/extra/manual/6.9.6/search.html
@@ -25,6 +25,8 @@
         <script src="_static/underscore.js"></script>
         <script src="_static/doctools.js"></script>
         <script src="_static/searchtools.js"></script>
+        <script type="text/javascript" src="_static/language_data.js"></script>
+
     
     <script type="text/javascript" src="_static/js/theme.js"></script>
 
@@ -238,4 +240,4 @@
 
 
 </body>
-</html>
\ No newline at end of file
+</html>
diff --git a/src/extra/manual/6.9.7/search.html b/src/extra/manual/6.9.7/search.html
index 8e5fda41..b2df23c5 100644
--- a/src/extra/manual/6.9.7/search.html
+++ b/src/extra/manual/6.9.7/search.html
@@ -25,6 +25,8 @@
         <script src="_static/underscore.js"></script>
         <script src="_static/doctools.js"></script>
         <script src="_static/searchtools.js"></script>
+        <script type="text/javascript" src="_static/language_data.js"></script>
+
     
     <script type="text/javascript" src="_static/js/theme.js"></script>
 
@@ -239,4 +241,4 @@
 
 
 </body>
-</html>
\ No newline at end of file
+</html>
diff --git a/src/extra/manual/beta/search.html b/src/extra/manual/beta/search.html
index b80d6bfe..965cfdb3 100644
--- a/src/extra/manual/beta/search.html
+++ b/src/extra/manual/beta/search.html
@@ -25,6 +25,8 @@
         <script src="_static/underscore.js"></script>
         <script src="_static/doctools.js"></script>
         <script src="_static/searchtools.js"></script>
+        <script type="text/javascript" src="_static/language_data.js"></script>
+
     
     <script type="text/javascript" src="_static/js/theme.js"></script>
 
@@ -240,4 +242,4 @@
 
 
 </body>
-</html>
\ No newline at end of file
+</html>