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

docs: Fix readthedocs issues. #800

Merged
merged 1 commit into from
Feb 26, 2024

Conversation

microbit-carlos
Copy link
Collaborator

@microbit-carlos microbit-carlos commented Feb 22, 2024

The first thing is that now readthedocs forces you to have .readthedocs.yml file, and the second was this error, which was triggered when readthedocs stopped setting html_theme automatically to sphinx_rtd_theme:

NameError: name 'html_theme' is not defined

PR also fixes a couple of issues highlighted by the sphinx build output.

Test deployment: https://microbit-micropython--800.org.readthedocs.build/en/800/

@microbit-carlos microbit-carlos force-pushed the docs-theme-fix branch 6 times, most recently from 5c7f16e to 3740f77 Compare February 22, 2024 19:41
@microbit-carlos
Copy link
Collaborator Author

microbit-carlos commented Feb 22, 2024

Don't know why the readthedocs builds are stopping at the point it's meant to create a venv and it doesn't continue, will need to look into it tomorrow.

Edit: Turns out readthedocs now requires you to have .readthedocs.yml file

@microbit-carlos microbit-carlos marked this pull request as ready for review February 22, 2024 20:14
@microbit-carlos microbit-carlos force-pushed the docs-theme-fix branch 3 times, most recently from 482a125 to b6865f4 Compare February 22, 2024 20:50
@microbit-carlos microbit-carlos changed the title docs: Fix issue in readthedocs locating theme. docs: Fix issue readthedocs issues. Feb 22, 2024
Add required .readthedocs.yml and docs/requirements.txt files.

Fixes error:
    NameError: name 'html_theme' is not defined

Also fixes a couple of issues highlighted by the sphinx build
output.
Comment on lines -343 to -344
# Example configuration for intersphinx: refer to the Python standard library.
intersphinx_mapping = {'http://docs.python.org/': None}
Copy link
Collaborator Author

Choose a reason for hiding this comment

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

This should stop cpython docs from being included, which fixes #729.

@@ -93,7 +93,6 @@ Projects related to MicroPython on the BBC micro:bit include:
:maxdepth: 2
:caption: Developer Guide

devguide/installation
Copy link
Collaborator Author

Choose a reason for hiding this comment

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

This file no longer exists.

@microbit-carlos microbit-carlos changed the title docs: Fix issue readthedocs issues. docs: Fix readthedocs issues. Feb 26, 2024
@microbit-carlos
Copy link
Collaborator Author

This is isolated to the docs, so I'll merge it to resolve the issues with ReadTheDocs and get those builds going again.

@microbit-carlos microbit-carlos merged commit 2093bbb into bbcmicrobit:master Feb 26, 2024
2 checks passed
@microbit-carlos microbit-carlos deleted the docs-theme-fix branch February 26, 2024 18:05
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.

1 participant