Skip to content
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.

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

docs(html): algolia docsearch #23839

Merged
merged 1 commit into from May 31, 2023
Merged

docs(html): algolia docsearch #23839

merged 1 commit into from May 31, 2023

Conversation

justinmk
Copy link
Member

@justinmk justinmk commented May 30, 2023

Need to manually include this in the generated docs html because it doesn't use the website's jekyll layout.

neovim/neovim.github.io@ce9aef1

Maintenance notes for docsearch are mentioned at:
https://github.com/neovim/neovim.github.io/#maintenance

@justinmk justinmk force-pushed the docsearch branch 2 times, most recently from a3ef529 to 088fa42 Compare May 31, 2023 00:28
Need to manually include this in the generated docs html because it
doesn't use the website's (jekyll) layout template.

Maintenance notes:
https://github.com/neovim/neovim.github.io/#maintenance

Related: neovim/neovim.github.io@ce9aef1
@justinmk justinmk merged commit 3913ebb into neovim:master May 31, 2023
11 of 12 checks passed
@justinmk justinmk deleted the docsearch branch May 31, 2023 00:32
justinmk added a commit to justinmk/neovim that referenced this pull request Jun 2, 2023
Problem:
Selecting a search result from the Algolia Docsearch widget does not
navigate to a page anchor. The docs HTML provides `<a name=…>` anchors
_near_ the `<h1>`/`<h2>`/… headings, but Algolia Docsearch expects the
anchors to be _defined on_ the headings. That's also "semantically"
nicer. https://docsearch.algolia.com/docs/manage-your-crawls/

Solution:
Set `id` on the heading element instead of placing `<a name=…>` nearby.

related: 3913ebb neovim#23839
justinmk added a commit that referenced this pull request Jun 2, 2023
Problem:
Selecting a search result from the Algolia Docsearch widget does not
navigate to a page anchor. The docs HTML provides `<a name=…>` anchors
_near_ the `<h1>`/`<h2>`/… headings, but Algolia Docsearch expects the
anchors to be _defined on_ the headings. That's also "semantically"
nicer. https://docsearch.algolia.com/docs/manage-your-crawls/

Solution:
Set `id` on the heading element instead of placing `<a name=…>` nearby.

related: 3913ebb #23839
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant