Skip to content

Commit b80e1eb

Browse files
committed
chore: update GitHub workflow to build and copy documentation assets to the site directory
1 parent 6b14a74 commit b80e1eb

File tree

1 file changed

+4
-1
lines changed

1 file changed

+4
-1
lines changed

.github/workflows/scribble.yml

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -29,7 +29,10 @@ jobs:
2929
- name: Build Documentation
3030
run: |
3131
cd docs
32-
raco scribble --htmls --dest ../_site main.scrbl
32+
raco scribble --html main.scrbl
33+
mkdir -p ../_site
34+
cp main.html ../_site/index.html
35+
cp *.css *.js *.png *.svg ../_site/ 2>/dev/null || true
3336
3437
- name: Setup Pages
3538
id: pages

0 commit comments

Comments
 (0)