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 scripts dir instead of scripts module #2174

Merged
merged 1 commit into from Apr 18, 2024

Conversation

kclowes
Copy link
Collaborator

@kclowes kclowes commented Apr 18, 2024

What was wrong?

make build-docs (which calls make docs clean) was failing because we took out the scripts/__init__.py and it couldn't find the scripts files to rm.

How was it fixed?

Now we remove the scripts directory before the doc build on make docs clean

Todo:

  • Clean up commit history
  • Add or update documentation related to these changes
  • Add entry to the release notes

Cute Animal Picture

Put a link to a cute animal picture inside the parenthesis-->

@kclowes kclowes marked this pull request as ready for review April 18, 2024 17:04
Copy link
Collaborator

@fselmo fselmo left a comment

Choose a reason for hiding this comment

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

Lgtm 👌🏼

Copy link
Collaborator

@pacrob pacrob left a comment

Choose a reason for hiding this comment

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

🐑

@kclowes kclowes merged commit 825b23c into ethereum:main Apr 18, 2024
54 checks passed
@kclowes kclowes deleted the doc-clean branch April 18, 2024 17:44
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.

None yet

4 participants