Skip to content

docs: publish the themed HTML manual to copperline.dev/docs on release#176

Merged
LinuxJedi merged 1 commit into
mainfrom
docs-html-site
Jul 13, 2026
Merged

docs: publish the themed HTML manual to copperline.dev/docs on release#176
LinuxJedi merged 1 commit into
mainfrom
docs-html-site

Conversation

@LinuxJedi

Copy link
Copy Markdown
Owner

What this does

Adds an HTML docs pipeline alongside the existing PDF one, so the manual is served at https://copperline.dev/docs and always matches the latest release:

  • docs/site.css restyles the MyST book-theme HTML build to match copperline.dev: the site palette (deep blue-black surfaces, copper/blue accents), Chakra Petch headings, IBM Plex body/mono, the copper gradient hairline under the top nav, copper inline code, and keycap styling for the guide's many {kbd} roles. It only affects the HTML site build; the PDF export is untouched. The @font-face rules point at the fonts self-hosted by the website, so they resolve when served from copperline.dev and fall back to system fonts in local previews.
  • docs/myst.yml wires the stylesheet up via the book-theme style option and brands the top nav with the chrome wordmark (assets/brand/copperline-logo.png), linked back to https://copperline.dev/.
  • .github/workflows/docs-site.yml builds the HTML with BASE_URL=/docs on every v* tag (plus workflow_dispatch for re-publishing without a release) and pushes the result to LinuxJedi/copperline.github.io under /docs as a single "Publish docs for vX.Y.Z" commit. GitHub Pages then redeploys the site.

Verified locally with myst build --html --ci and a browser pass over the built site in both color schemes (index, getting-started, and the kbd-heavy UI chapter).

Setup needed before the workflow can publish

The publish step needs a write deploy key for the website repository:

ssh-keygen -t ed25519 -f site-deploy-key -N "" -C "copperline-docs-publisher"
gh repo deploy-key add site-deploy-key.pub -R LinuxJedi/copperline.github.io --allow-write --title "Copperline docs publisher"
gh secret set SITE_DEPLOY_KEY -R LinuxJedi/Copperline < site-deploy-key
rm site-deploy-key site-deploy-key.pub

The website repository side (nav link, .nojekyll, initial /docs content for v0.11.0) is being prepared separately in that repo.

🤖 Generated with Claude Code

https://claude.ai/code/session_017qMDTkmSQ48RPeS8AGvy6x

The MyST HTML site build is restyled to match copperline.dev (palette,
fonts, copper hairline) via docs/site.css, wired up with the book-theme
style option, and branded with the chrome wordmark linking back to the
main site. A new docs-site.yml workflow rebuilds the HTML with
BASE_URL=/docs on every v* tag and pushes it to the website repository,
so copperline.dev/docs always serves the latest release's manual.

Publishing needs a SITE_DEPLOY_KEY secret holding the private half of a
write deploy key for LinuxJedi/copperline.github.io.
@LinuxJedi LinuxJedi merged commit 7d15ccf into main Jul 13, 2026
5 checks passed
@LinuxJedi LinuxJedi deleted the docs-html-site branch July 13, 2026 09:03
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