Skip to content

Docs: fix many sphinx warnings#615

Merged
emanuel-schmid merged 2 commits intodevelopfrom
feature/doc_fix_sphinx_warnings
Jan 12, 2023
Merged

Docs: fix many sphinx warnings#615
emanuel-schmid merged 2 commits intodevelopfrom
feature/doc_fix_sphinx_warnings

Conversation

@tovogt
Copy link
Copy Markdown
Collaborator

@tovogt tovogt commented Jan 9, 2023 •
edited
Loading

Changes proposed in this PR:

  • This only affects the docs, not any of the code or functionality.
  • It only affects minor parts of the docs formatting.
  • Mostly, it's about getting rid of warning messages by Sphinx when calling make clean html.

PR Author Checklist

PR Reviewer Checklist

@tovogt tovogt requested a review from emanuel-schmid January 9, 2023 16:12
@emanuel-schmid
Copy link
Copy Markdown
Collaborator

emanuel-schmid commented Jan 12, 2023

🤩 awesome!

@tovogt
Copy link
Copy Markdown
Collaborator Author

tovogt commented Jan 12, 2023

This has conflicts with #620, let me see....

@emanuel-schmid
Copy link
Copy Markdown
Collaborator

emanuel-schmid commented Jan 12, 2023

already solved

@tovogt
Copy link
Copy Markdown
Collaborator Author

tovogt commented Jan 12, 2023

Great, thanks!

@emanuel-schmid
Copy link
Copy Markdown
Collaborator

emanuel-schmid commented Jan 12, 2023

Many thanks!

@emanuel-schmid emanuel-schmid merged commit 59c54fd into develop Jan 12, 2023
@emanuel-schmid emanuel-schmid deleted the feature/doc_fix_sphinx_warnings branch January 12, 2023 14:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@emanuel-schmid emanuel-schmid Awaiting requested review from emanuel-schmid emanuel-schmid is a code owner

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@tovogt @emanuel-schmid