Skip to content

Set up doc-builder#87

Merged
Katetc merged 14 commits into
ESCOMP:mainfrom
samsrabin:setup-doc-builder
Jun 23, 2026
Merged

Set up doc-builder#87
Katetc merged 14 commits into
ESCOMP:mainfrom
samsrabin:setup-doc-builder

Conversation

@samsrabin

@samsrabin samsrabin commented Jun 18, 2026

Copy link
Copy Markdown
Member

Adds a couple of example documentation files, plus the infrastructure necessary to build them. Does NOT yet include the GitHub workflows, because this isn't ready for publication yet.

@samsrabin samsrabin marked this pull request as draft June 18, 2026 21:45
@samsrabin samsrabin marked this pull request as ready for review June 18, 2026 22:11
@Katetc Katetc merged commit 46e27de into ESCOMP:main Jun 23, 2026
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.

2 participants