Skip to content
This repository was archived by the owner on Sep 25, 2025. It is now read-only.

generate search-index.js #61

Merged
sconley-datacoves merged 2 commits into from
Jun 17, 2025
Merged

generate search-index.js #61

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
8d35770
generate search-index.js
Jun 17, 2025
6ea63f9
Delete docs/assets/search-index.js
sconley-datacoves Jun 17, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
16 changes: 8 additions & 8 deletions indexer.js
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -32,20 +32,20 @@ const documents = [];

;(async () => {
for await (const filename of getHtmlFiles(input_path)) {
const content = (await readFile(filename)).toString();

// We just want a chunk of this content
const content = (await readFile(filename)).toString();
const slice_content = content.split('<article class="markdown-section" id="main">');
if (slice_content.length < 2) {
continue;
}
const slice_again = slice_content[1].split('</article>');
const body = slice_again[0].replace(/<[^>]*>?/gm, '').trim()

const body = slice_again[0].replace(/<[^>]*>?/gm, '').trim();
let url = "/" + relative(input_path, filename);

// Figure out the URL

if (url.endsWith('index.html')) {
url = url.substr(0, url.length - 10);
}

documents.push({
id: relative(input_path, filename),
text: body,
Expand Down