Skip to content

Conversation

jyn514
Copy link
Member

@jyn514 jyn514 commented Aug 31, 2020

Follow up to #497,
rust-lang/rust#76052

r? @GuillaumeGomez, but shouldn't be merged until the next nightly is published and I have a chance to post screenshots.

@jyn514 jyn514 changed the title Re-enable per-crate search now that rustdoc bugs are fixed Disable per-crate search now that rustdoc bugs are fixed Aug 31, 2020
@jyn514 jyn514 added A-builds Area: Building the documentation for a crate A-frontend Area: Web frontend S-waiting-on-author Status: This PR is incomplete or needs to address review comments labels Aug 31, 2020
@GuillaumeGomez
Copy link
Member

🎉

docs.rs needs build tests :(

```
2020/09/04 23:06:51 [INFO] rustwide::cmd: [stderr] error: Unrecognized option: 'disable-per-crate-search--extern-html-root-url'
```
@jyn514
Copy link
Member Author

jyn514 commented Sep 5, 2020

image

@jyn514 jyn514 added S-waiting-on-review Status: This pull request has been implemented and needs to be reviewed and removed S-waiting-on-author Status: This PR is incomplete or needs to address review comments labels Sep 5, 2020
@jyn514
Copy link
Member Author

jyn514 commented Sep 10, 2020

@GuillaumeGomez should I count the 🎉 as an approval? ;)

@GuillaumeGomez
Copy link
Member

You now have my "official" approval. :p

@jyn514 jyn514 merged commit b478d4d into rust-lang:master Sep 10, 2020
@jyn514 jyn514 deleted the search branch September 10, 2020 12:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
A-builds Area: Building the documentation for a crate A-frontend Area: Web frontend S-waiting-on-review Status: This pull request has been implemented and needs to be reviewed
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants