Skip to content

doc: Escape -- for CLI options in :ref:#2155

Merged
juergbi merged 1 commit into
masterfrom
jbilleter/docs
Jul 24, 2026
Merged

doc: Escape -- for CLI options in :ref:#2155
juergbi merged 1 commit into
masterfrom
jbilleter/docs

Conversation

@juergbi

@juergbi juergbi commented Jul 24, 2026

Copy link
Copy Markdown
Contributor

Escaping with a ludicrous number of backslashes prevents the Smart Quotes transform to en-dashes. See sphinx-doc/sphinx#11492.

Alternative to #2136, also covering all cases that I could find.

Escaping with many backslashes prevents the Smart Quotes transform to
en-dashes. See sphinx-doc/sphinx#11492.

Reported-by: kotborealis <kotborealis@awooo.ru>
@juergbi
juergbi merged commit 7247e0a into master Jul 24, 2026
18 checks passed
@juergbi
juergbi deleted the jbilleter/docs branch July 24, 2026 14:34
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