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

Documentation: search does not work #1033

Closed
virtualtam opened this issue Dec 5, 2017 · 1 comment
Closed

Documentation: search does not work #1033

virtualtam opened this issue Dec 5, 2017 · 1 comment
Labels
3rd party interoperability with third-party platforms bug it's broken! documentation ergonomy user experience tools developer tools
Milestone
0.10.0

Comments

@virtualtam
Copy link
Member

Issue

When browsing the documentation on ReadTheDocs, the search engine does not yield any result.

This might be due to a misconfiguration or compatibility issue between MkDocs indexes and ReadTheDocs search queries.

Workaround

There is a workaround proposed on readthedocs/readthedocs.org#1088, more specifically readthedocs/readthedocs.org#1088 (comment) , and a more recent issue raised at readthedocs/readthedocs.org#3174
@virtualtam virtualtam added 3rd party interoperability with third-party platforms bug it's broken! documentation ergonomy user experience tools developer tools labels Dec 5, 2017
@virtualtam virtualtam added this to the 0.10.0 milestone Dec 5, 2017
@virtualtam virtualtam mentioned this issue Apr 3, 2018
Closed
@virtualtam
Copy link
Member Author

Search works for the current Shaarli documentation (readthedocs/readthedocs.org#1088 (comment))

Related PRs:

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
3rd party interoperability with third-party platforms bug it's broken! documentation ergonomy user experience tools developer tools
Projects
None yet
Milestone
0.10.0
Development

No branches or pull requests
1 participant
@virtualtam