Skip to content

A fix for the sphinx extension#742

Draft
tristanlatr wants to merge 2 commits intomasterfrom
728-fix-sphinx-ext
Draft

A fix for the sphinx extension#742
tristanlatr wants to merge 2 commits intomasterfrom
728-fix-sphinx-ext

Conversation

@tristanlatr
Copy link
Copy Markdown
Contributor

Should fix #728

@tristanlatr tristanlatr changed the title A fix the sphinx extension A fix for the sphinx extension Oct 26, 2023
@tristanlatr
Copy link
Copy Markdown
Contributor Author

It doesn’t fix the issue, unfortunately. More troubleshooting is required…

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Better error message when Sphinx extension fails at end of build due to renamed output path

1 participant