Skip to content

Update resources#17

Merged
cfclrk merged 1 commit intomainfrom
update-resouces
Feb 5, 2026
Merged

Update resources#17
cfclrk merged 1 commit intomainfrom
update-resouces

Conversation

@cfclrk
Copy link
Copy Markdown
Owner

@cfclrk cfclrk commented Feb 5, 2026

What I did:

$ ./scripts/fetch_resources.sh
Fetching resource bundle from highlightjs.org...
Wrote highlightjs resource bundle to /var/folders/8t/fwtsjh2d5qs9pyv3714dyvs40000gn/T/tmp.zAw990bY8T/out.zip
Extracting highlightjs resource bundle in /var/folders/8t/fwtsjh2d5qs9pyv3714dyvs40000gn/T/tmp.zAw990bY8T
Copying highlightjs CSS files to resources/highlight_css
Downloading highlight.min.js from CDN
Fetching mermaid js
Fetching MathJax js

@cfclrk cfclrk merged commit 42d9c7a into main Feb 5, 2026
2 checks passed
@cfclrk cfclrk deleted the update-resouces branch February 5, 2026 16:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@cfclrk