Skip to content

fix(docs): Repair documentation deployment workflow and makefile#37

Merged
ctreffs merged 18 commits intomasterfrom
fix/docs-deployment-final
Feb 11, 2026
Merged

fix(docs): Repair documentation deployment workflow and makefile#37
ctreffs merged 18 commits intomasterfrom
fix/docs-deployment-final

Conversation

@ctreffs
Copy link
Member

@ctreffs ctreffs commented Feb 11, 2026

This PR re-applies the documentation workflow fix (reverted on master) and adds the missing Makefile output directory creation step. It ensures the documentation build process has the correct directory structure and redirect path.

@ctreffs ctreffs merged commit 9b85371 into master Feb 11, 2026
12 checks passed
@ctreffs ctreffs deleted the fix/docs-deployment-final branch February 11, 2026 12:33
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