Skip to content

Remove docs/Makefile and use sphinx-build directly#2703

Merged
adamtheturtle merged 4 commits intomainfrom
remove-docs-makefile
Oct 27, 2025
Merged

Remove docs/Makefile and use sphinx-build directly#2703
adamtheturtle merged 4 commits intomainfrom
remove-docs-makefile

Conversation

@adamtheturtle
Copy link
Member

This PR removes the docs/Makefile and updates pre-commit hooks to use sphinx-build directly via uv instead of make commands.

@adamtheturtle adamtheturtle merged commit 82880b4 into main Oct 27, 2025
9 checks passed
@adamtheturtle adamtheturtle deleted the remove-docs-makefile branch October 27, 2025 02:30
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