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

Rename curly-quotes to smart-punctuation. #2327

Merged
merged 1 commit into from
Feb 25, 2024

Conversation

ehuss
Copy link
Contributor

@ehuss ehuss commented Feb 25, 2024

This renames the output.html.curly-quotes option to output.html.smart-punctuation to better reflect what it does.

The old option curly-quotes is kept for compatibility, but may be removed in the future.

Closes #1936

@rustbot rustbot added the S-waiting-on-review Status: waiting on a review label Feb 25, 2024
@ehuss ehuss added this pull request to the merge queue Feb 25, 2024
Merged via the queue into rust-lang:master with commit 6b89f5d Feb 25, 2024
8 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
S-waiting-on-review Status: waiting on a review
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Rename curly-quotes config option to smart-punctuation
2 participants