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.

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

Add HTML-based redirects for previous chapter numbering #4061

Merged
merged 1 commit into from
Oct 9, 2024

Conversation

chriskrycho
Copy link
Contributor

@chriskrycho chriskrycho commented Oct 9, 2024

Unlike the redirects we have in place for the previous editions, this simply performs an in-place redirect, using the built-in mechanism for this in mdbook. As an alternative, we could hand-craft HTML pages to do what the redirect pages for the first and second edition do: present a page and let the user click through proactively. What we cannot do, unfortunately, is have those pages present without showing up in the sidebar nav (see rust-lang/mdBook#702 and rust-lang/mdBook#830), which we distinctly do not want.

Unlike the redirects we have in place for the previous editions, this
simply performs an in-place redirect, using the built-in mechanism for
this in mdbook. As an alternative, we could hand-craft HTML pages to do
what the redirect pages for the first and second edition do: present a
page and let the user click through proactively.
@chriskrycho
Copy link
Contributor Author

@carols10cents I am going ahead merging this as is so that whenever a roll-up happens upstream, all existing links will at least be correctly redirected. However, I am happy to revisit and do the manual work of hand-authored HTML pages with redirect info people can click through if that’s preferable here for whatever reason!

@chriskrycho chriskrycho merged commit d7b5eb9 into main Oct 9, 2024
6 checks passed
@chriskrycho chriskrycho mentioned this pull request Oct 9, 2024
14 tasks
@chriskrycho chriskrycho deleted the html-based-redirects branch October 10, 2024 16:48
@chriskrycho chriskrycho mentioned this pull request Nov 5, 2024
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.

1 participant