Skip to content

Vendor the ReadTheOrg theme for the HTML docs export#530

Merged
dakra merged 1 commit into
mainfrom
vendor-readtheorg-theme
Jul 13, 2026
Merged

Vendor the ReadTheOrg theme for the HTML docs export#530
dakra merged 1 commit into
mainfrom
vendor-readtheorg-theme

Conversation

@dakra

@dakra dakra commented Jul 12, 2026

Copy link
Copy Markdown
Owner

Fetching the theme from fniessen.github.io at build time broke twice when upstream restructured its repo (most recently on 2026-07-10, which left https://dakra.github.io/ghostel/ unthemed until 2ec1c0c).

This vendors the needed setup file, CSS, and JS from org-html-themes @ 8a87654 (GPL-3.0, same as this repo) into docs/org-html-themes/, using upstream's local-paths setup variant. make html now copies the asset tree into public/ so the relative links resolve, and the docs build needs no network access for the theme.

Notes:

  • docs/ is not matched by the MELPA recipe, so nothing ships in the package (vendor/ and etc/ do ship, hence the new directory).
  • The Google Fonts and Font Awesome CDN imports inside readtheorg.css are intentionally left remote to keep the vendored files verbatim upstream copies.
  • Verified: fresh make html has zero fniessen references, all referenced assets exist under public/src/, and the served site renders fully themed in a browser.

@dakra dakra force-pushed the vendor-readtheorg-theme branch from 7c518dc to 88c202b Compare July 13, 2026 17:19
Fetching the theme from fniessen.github.io at build time broke twice
when upstream restructured its repo.  Copy the needed setup file, CSS,
and JS (org-html-themes @ 8a87654, GPL-3.0) into docs/org-html-themes/
and have make html copy the asset tree into public/, so the docs build
no longer needs network access.  docs/ is not part of the MELPA recipe,
so nothing ships in the package.
@dakra dakra force-pushed the vendor-readtheorg-theme branch from 88c202b to 9ba0a27 Compare July 13, 2026 20:16
@dakra dakra merged commit 9ba0a27 into main Jul 13, 2026
22 checks passed
@dakra dakra deleted the vendor-readtheorg-theme branch July 13, 2026 20:19
@dakra dakra temporarily deployed to github-pages July 13, 2026 20:20 — with GitHub Actions Inactive
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