Browse Source

update search index

Falko Schindler 1 year ago
parent
commit
bde65e03af
2 changed files with 2 additions and 194 deletions
  1. 1 2
      website/build_search_index.py
  2. 1 192
      website/static/search_index.json

+ 1 - 2
website/build_search_index.py

@@ -153,8 +153,7 @@ documents = []
 tree = ast.parse(Path('../main.py').read_text())
 MainVisitor().visit(tree)
 
-generate_for(Path('./documentation.py'))
-for file in Path('./more_documentation').glob('*.py'):
+for file in Path('./documentation/more').glob('*.py'):
     generate_for(file, file.stem.removesuffix('_documentation'))
 
 with open('static/search_index.json', 'w') as f:

File diff suppressed because it is too large
+ 1 - 192
website/static/search_index.json


Some files were not shown because too many files changed in this diff