Skip to content

feat: make pagefind the new default search engine #96

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 5 commits into from
May 19, 2025
Merged

feat: make pagefind the new default search engine #96

Changes from 1 commit
Commits
Show all changes
5 commits
Select commit Hold shift + click to select a range
cf4a465
feat: make pagefind the new default search engine
pfitzseb May 16, 2025
eab6187
set root-selector and exclude-selectors
pfitzseb May 16, 2025
7d48b09
fix: use nodejs_jll, use rootpath
pfitzseb May 16, 2025
7713a29
chore: use runic instead of JuliaFormatter
pfitzseb May 16, 2025
69c633b
chore: formatting, cleanup
pfitzseb May 19, 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
2 changes: 1 addition & 1 deletion src/search/pagefind.jl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -29,7 +29,7 @@ function build_search_index(root, docs, config, rootpath)

pattern = "*/{$(join(config.index_versions, ","))}/**/*.{html}"

run(`npx pagefind --site $(root) --glob $(pattern)`)
run(`npx pagefind --site $(root) --glob $(pattern) --root-selector article --exclude-selectors pre`)
end

end
Loading