Skip to content

Commit

Permalink
Fix docs deployment (#2432)
Browse files Browse the repository at this point in the history
  • Loading branch information
chatton authored Sep 29, 2022
1 parent 78249c1 commit 7408d52
Show file tree
Hide file tree
Showing 4 changed files with 2 additions and 17 deletions.
1 change: 1 addition & 0 deletions .github/workflows/deploy-docs.yml
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,7 @@ name: Deploy docs
# This job builds and deploys documenation to github pages.
# It runs on every push to main with a change in the docs folder.
on:
workflow_dispatch:
push:
branches:
- main
Expand Down
1 change: 1 addition & 0 deletions Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -203,6 +203,7 @@ build-docs:
mkdir -p ~/output/$${path_prefix} ; \
cp -r .vuepress/dist/* ~/output/$${path_prefix}/ ; \
cp ~/output/$${path_prefix}/index.html ~/output ; \
cp ~/output/$${path_prefix}/404.html ~/output ; \
done < versions ;

view-docs:
Expand Down
15 changes: 0 additions & 15 deletions docs/package-lock.json

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 0 additions & 2 deletions docs/package.json
Original file line number Diff line number Diff line change
Expand Up @@ -13,8 +13,6 @@
"author": "",
"license": "ISC",
"dependencies": {
"eventsource": "^2.0.2",
"vue": "^2.6.14",
"vuepress-theme-cosmos": "^1.0.183"
}
}

0 comments on commit 7408d52

Please sign in to comment.