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

Remove docs build warning from pydata-sphinx-theme 0.14.2 and upgra… #1095

Merged
merged 1 commit into from
Oct 26, 2023

Conversation

cqc-melf
Copy link
Contributor

@cqc-melf cqc-melf commented Oct 26, 2023

We are having some problems with the docs not building on another repo which pulls from main.
I have cherry picked the fix for the build problem, it should work now.

It is not intended to have a release after this is merged.

…de sphinx version (#1093)

  • remove unused pygment

  • try navigation_with_keys fix

  • remove unused intersphinx extension for now

  • remove sphinx version restriction

  • Show sphinx version in doc footer

  • use sphinx <7

  • remove show_sphinx flag

…de sphinx version (#1093)

* remove unused pygment

* try navigation_with_keys fix

* remove unused intersphinx extension for now

* remove sphinx version restriction

* Show sphinx version in doc footer

* use sphinx <7

* remove show_sphinx flag
@cqc-melf
Copy link
Contributor Author

cqc-melf commented Oct 26, 2023

This PR should be merged via a merged commit, after that we should do another PR from main into develop. Because the commit is not changed there is no need to merge this back into develop. (checked in #1097 and #1096 )

@@ -55,7 +55,6 @@
extensions = [
"sphinx.ext.autodoc",
"sphinx.ext.autosummary",
"sphinx.ext.intersphinx",
Copy link
Contributor

@CalMacCQ CalMacCQ Oct 26, 2023

Choose a reason for hiding this comment

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

I don't think we need to remove this actually. We can probably add this back in.

We may want to use this in future.

Copy link
Contributor Author

Choose a reason for hiding this comment

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

If we changes this here now we will have a merge conflict later on, is it okay to keep it like this?

Copy link
Contributor

Choose a reason for hiding this comment

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

Yes should be fine.

@cqc-melf cqc-melf marked this pull request as ready for review October 26, 2023 11:24
@cqc-melf cqc-melf merged commit 0e4564c into main Oct 26, 2023
17 checks passed
@cqc-melf cqc-melf deleted the fix/docbuild-2023-10 branch October 26, 2023 14:31
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.

3 participants