Skip to content

Conversation

markgoddard
Copy link

No description provided.

@markgoddard markgoddard self-assigned this Jul 7, 2022
Copy link
Member

@priteau priteau left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

You could use the documented approach:

Sphinx-Substitution-Extensions[prompt]

@markgoddard
Copy link
Author

You could use the documented approach:

Sphinx-Substitution-Extensions[prompt]

Done

@markgoddard markgoddard merged commit 533f771 into master Jul 7, 2022
@markgoddard markgoddard deleted the sphinx-prompt branch July 7, 2022 14:37
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