Skip to content

Simpler build - #664

Open
jo-mueller wants to merge 3 commits into
mainfrom
simpler-build
Open

jo-mueller wants to merge 3 commits into
mainfrom
simpler-build

Conversation

@jo-mueller

Copy link
Copy Markdown
Contributor

Fixes #659
Depends on #662

This PR bakes the submopule update into the sphinx build script. I also correctly the build instructions mildly so that the make calls are correct for both Unix and Windows (Windows needs .\make html)

@jo-mueller jo-mueller added the enhancement New feature or request label Nov 10, 2026
@github-actions

Copy link
Copy Markdown
Contributor

Automated Review URLs

@github-actions
github-actions Bot requested a review from lubianat November 10, 2026 13:31
@lubianat lubianat added the infra Concern: basic infrastructure label Nov 10, 2026
@govekk

govekk commented Nov 10, 2026

Copy link
Copy Markdown
Contributor

👍 did a quick test and I'm happy with how this works

lubianat
lubianat previously approved these changes Nov 10, 2026

@lubianat lubianat left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

LGTM! nice!

@lubianat
lubianat requested a review from clbarnes November 10, 2026 17:14

This branch has not been deployed

No deployments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request infra Concern: basic infrastructure

Projects

None yet

Development

Successfully merging this pull request may close these issues.

specification submodules complicate local website builds

3 participants