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

Fix default theme dir selection #696

Merged
merged 3 commits into from
May 16, 2018
Merged

Conversation

mattico
Copy link
Contributor

@mattico mattico commented May 14, 2018

Fixes #695

Another option would be to accept both /theme and /src/theme, since some may have begun relying on the undocumented behavior.

@azerupi
Copy link
Contributor

azerupi commented May 15, 2018

Another option would be to accept both /theme and /src/theme, since some may have begun relying on the undocumented behavior.

I would avoid this if we can. But if this bug has existed for long, we might not have much of a choice. If we go this route, I would add a deprecation warning so that we can remove it sometime in the future.

@mattico
Copy link
Contributor Author

mattico commented May 16, 2018

It was changed in #491, merged in December 2017. At the same time, though, fixing this is really easy. Maybe we could detect a /src/theme directory and warn?

@azerupi azerupi merged commit 27b29fd into rust-lang:master May 16, 2018
@azerupi
Copy link
Contributor

azerupi commented May 16, 2018

I agree with you. The warning should suffice :)

@mattico mattico deleted the fix-theme-dir branch May 17, 2018 00:13
Ruin0x11 pushed a commit to Ruin0x11/mdBook that referenced this pull request Aug 30, 2020
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.

2 participants