Skip to content

the search does not work, the latest version of mdBook supports it #160

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
Closed
gnzlbg opened this issue Jul 4, 2018 · 2 comments
Closed

the search does not work, the latest version of mdBook supports it #160

gnzlbg opened this issue Jul 4, 2018 · 2 comments

Comments

@gnzlbg
Copy link
Contributor

gnzlbg commented Jul 4, 2018

No description provided.

@ehuss
Copy link
Contributor

ehuss commented Jul 4, 2018

Search should work if you press 'S'.

The icons are missing due to another mdbook bug that has since been fixed. I've been waiting for a new release of mdbook, but it has been a long time. It could be switched over to install a git rev instead if we don't want to wait.

@mark-i-m
Copy link
Member

mark-i-m commented Jul 4, 2018

related to #138

ehuss added a commit to ehuss/rustc-guide that referenced this issue Jul 9, 2018
@ehuss
Update mdbook
343a9c2 
Closes rust-lang#138
Closes rust-lang#160
@ehuss ehuss mentioned this issue Jul 9, 2018
Merged
mark-i-m pushed a commit that referenced this issue Jul 10, 2018
@ehuss @mark-i-m
Update mdbook
a154eb9 
Closes #138
Closes #160
mark-i-m pushed a commit that referenced this issue Jul 15, 2018
@ehuss @mark-i-m
Update mdbook
333927c 
Closes #138
Closes #160
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@ehuss @gnzlbg @mark-i-m