rename search_data to search_index

search.vue

@@ -34,7 +34,7 @@ export default {
   },
 
   async created() {
-    let response = await fetch("/static/search_data.json");
+    let response = await fetch("/static/search_index.json");
     if (!response.ok) {
       throw new Error(`HTTP error! status: ${response.status}`);
     }

website/build_search_data.py → website/build_search_index.py

@@ -39,5 +39,5 @@ for file in Path('./more_documentation').glob('*.py'):
         tree = ast.parse(source.read())
         DemoVisitor('_'.join(file.stem.split('_')[:-1])).visit(tree)
 
-with open('static/search_data.json', 'w') as f:
+with open('static/search_index.json', 'w') as f:
     json.dump(documents, f, indent=2)