Skip to content

Commit

Permalink
CI: Fix github pages job
Browse files Browse the repository at this point in the history
  • Loading branch information
jschwe committed May 11, 2024
1 parent 2551368 commit 4da0f42
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .github/workflows/gh-pages.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -64,7 +64,7 @@ jobs:
- name: Override highlightjs
run: |
cp highlightjs/build/highlight.min.js main/doc/book/highlight.js
cp highlightjs/build/highlight.min.js stable-v0.4/doc/book/highlight.js
cp highlightjs/build/highlight.min.js stable-v0.5/doc/book/highlight.js
- name: Copy stable doc into main
run: mkdir main/doc/book/v0.5 && cp -a stable-v0.5/doc/book/. main/doc/book/v0.5/
- name: Debug print
Expand Down

0 comments on commit 4da0f42

Please sign in to comment.