-
Notifications
You must be signed in to change notification settings - Fork 8
Docs are built with an old pinned version of mdbook #20
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.
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
Comments
I think there's some further discussion to be had here, about a couple of topics:
The first reasonable idea which occurs to me would be to have each book repo download a stub Whatever the decision, I'm happy to open a series of PRs to at minimum normalize this behavior. If there's consensus on a good way to keep this synchronized across multiple projects, I'm also happy to implement that. CC @adamgreig, since you chimed in on one of the original issues here |
Thanks for writing this up! I'm not sure how the original mdbook decision came to be, maybe @japaric or @jamesmunns have more information about that. Originally the mdbook version was freewheeling, we pinned v0.2.1 exactly for that reason and put reminders in place to undo it as soon as we can. IMHO the most relevant questions are:
Since the embedded book is linked on the rust-lang homepage, do we need to use the same version of mdbook they do for the rest of the documentation? |
I believe so. Some of the confusion surrounding rust-embedded/book#212 resulted from two different versions (0.2.1 and 0.3.4) being used to render the book when hosted in two different places
I think enforcing this would at least simplify the above. |
Regarding the original decision:
Regarding harmony with the upstream Rust docs:
We should probably use whatever the upstream Rust project uses, unless we have a good reason, but I can't think of a good way to enforce this outside of |
I also would not mind converging all of the books to a single git repo, to avoid duplication. This would have negative impact to our use of github pages as the base URL though. |
The pinning has been removed via #24. |
This is causing rendering differences, as discussed in this
book
issueThe text was updated successfully, but these errors were encountered: