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

Add spice directory to the documentation build #996

Closed
Tracked by #975
subagonsouth opened this issue Oct 9, 2024 · 0 comments
Closed
Tracked by #975

Add spice directory to the documentation build #996

subagonsouth opened this issue Oct 9, 2024 · 0 comments
Assignees
Labels
Repo: Documentation Improvements or additions to documentation SPICE Related to SPICE
Milestone

Comments

@subagonsouth
Copy link
Contributor

Algorithm Description:

I noticed that there is no spice rst file in docs/source/code-documentation. I assume that it needs to be manually generated and committed to get the spice documentation to build?

@subagonsouth subagonsouth added Repo: Documentation Improvements or additions to documentation SPICE Related to SPICE labels Oct 9, 2024
@subagonsouth subagonsouth added this to the Oct 2024 milestone Oct 9, 2024
@subagonsouth subagonsouth self-assigned this Oct 9, 2024
@subagonsouth subagonsouth added this to IMAP Oct 9, 2024
@tech3371 tech3371 moved this to Todo in IMAP Oct 10, 2024
@bourque bourque modified the milestones: Oct 2024, Nov 2024 Nov 4, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Repo: Documentation Improvements or additions to documentation SPICE Related to SPICE
Projects
Status: Done
Development

No branches or pull requests

2 participants