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.

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

Jump to bottom

Dev docs search is broken #1909

Closed
LHerskind opened this issue Aug 31, 2023 · 0 comments · Fixed by #1920
Closed

Dev docs search is broken #1909

LHerskind opened this issue Aug 31, 2023 · 0 comments · Fixed by #1920
Assignees
@critesjosh @signorecello
Labels
A-documentation Area: relates to documentation T-bug Type: Bug. Something is broken.

Comments

@LHerskind
Copy link
Contributor

The developer docs search function is broken. The results seem to be based on the markdown files that are in the actual docs (not dev docs), so most of them will have wrong paths and return a page not found.
@LHerskind LHerskind added T-bug Type: Bug. Something is broken. A-documentation Area: relates to documentation labels Aug 31, 2023
@LHerskind LHerskind added this to the 📢 Initial Public Sandbox Release milestone Aug 31, 2023
@github-project-automation github-project-automation bot moved this to Todo in A3 Aug 31, 2023
@critesjosh critesjosh mentioned this issue Aug 31, 2023
Merged
4 tasks
critesjosh added a commit that referenced this issue Aug 31, 2023
@critesjosh
fix: Update docs search config (#1920)
c8764e6 
This PR updates the algolia search config so it should work with the dev
docs site. This is on the basic free plan which should be sufficient for
our needs for now and should be updated before making this the official
docs hosted at docs.aztec.network.

closes #1909 

# Checklist:
Remove the checklist to signal you've completed it. Enable auto-merge if
the PR is ready to merge.
- [ ] If the pull request requires a cryptography review (e.g.
cryptographic algorithm implementations) I have added the 'crypto' tag.
- [x] I have reviewed my diff in github, line by line and removed
unexpected formatting changes, testing logs, or commented-out code.
- [x] Every change is related to the PR description.
- [x] I have
[linked](https://docs.github.com/en/issues/tracking-your-work-with-issues/linking-a-pull-request-to-an-issue)
this pull request to relevant issues (if any exist).
@github-project-automation github-project-automation bot moved this from Todo to Done in A3 Aug 31, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@critesjosh critesjosh

@signorecello signorecello

Labels
A-documentation Area: relates to documentation T-bug Type: Bug. Something is broken.
Projects
A3
Archived in project
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

fix: Update docs search config AztecProtocol/aztec-packages
3 participants
@LHerskind @critesjosh @signorecello