Change to load the json.gz file

Signed-off-by: Sven Dowideit <SvenDowideit@home.org.au>

Docker-DCO-1.1-Signed-off-by: Sven Dowideit <SvenDowideit@home.org.au> (github: SvenDowideit)

docs/release.sh

@@ -73,7 +73,8 @@ setup_s3() {
 build_current_documentation() {
 	mkdocs build
 	cd site/
-	gzip -9k search_content.json
+	gzip -9k -f search_content.json
+	cd ..
 }
 
 upload_current_documentation() {

docs/theme/mkdocs/js/base.js

@@ -1,12 +1,6 @@
 $(document).ready(function ()
 {
 
-  // Tipue Search activation
-  $('#tipue_search_input').tipuesearch({
-    'mode': 'json',
-    'contentLocation': '/search_content.json'
-  });
-
   prettyPrint();
 
   // Resizing
@@ -51,6 +45,12 @@ $(document).ready(function ()
     },
   });
 
+  // Tipue Search activation
+  $('#tipue_search_input').tipuesearch({
+    'mode': 'json',
+    'contentLocation': '/search_content.json.gz'
+  });
+
 });
 
 function resizeMenuDropdown ()
@@ -92,4 +92,4 @@ function getCookie(cname) {
       if (c.indexOf(name) == 0) return c.substring(name.length,c.length);
   }
   return "";
-}
+}