Skip to content

Conversation

@tbu-
Copy link
Contributor

@tbu- tbu- commented Sep 4, 2018

Also add a script that allows regenerating all of the documents.

Also add a script that allows regenerating all of the documents.
@rust-highfive
Copy link

r? @alexcrichton

(rust_highfive has picked a reviewer for you, use r? to override)

@rust-highfive
Copy link

warning Warning warning

  • Pull requests are usually filed against the master branch for this repo, but this one is against gh-pages. Please double check that you specified the right target!

@tbu-
Copy link
Contributor Author

tbu- commented Sep 4, 2018

This should fix the issue mentioned in #5970 (comment).

@tbu-
Copy link
Contributor Author

tbu- commented Sep 4, 2018

(I've tested locally, in Firefox, that the JS redirect takes precedence over the http-equiv redirect.)

@alexcrichton alexcrichton merged commit 62f1f2a into rust-lang:gh-pages Sep 4, 2018
@alexcrichton
Copy link
Member

Thanks!

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.

3 participants