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

DOC: Only recompile Sphinx documentation when required #691

Open
wants to merge 1 commit into
base: master
Choose a base branch
from

Conversation

SimonRit
Copy link
Collaborator

No description provided.

@SimonRit SimonRit requested a review from LucasGandel February 21, 2025 07:56
@SimonRit
Copy link
Collaborator Author

What do you think @LucasGandel?

@SimonRit
Copy link
Collaborator Author

My initial attempt was polluting the source directory. The latest force push doesn't but it also doesn't clean up the compiled doc anymore. I'm open to any suggestion!

@LucasGandel
Copy link
Collaborator

Not sure if there is a clean way to do that. I'll discuss with CMake experts and will update here

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