Fix docs deployment (#2432)

cosmos · Sep 29, 2022 · 7408d52 · 7408d52
1 parent 78249c1
commit 7408d52
Show file tree

Hide file tree

Showing 4 changed files with 2 additions and 17 deletions.
diff --git a/.github/workflows/deploy-docs.yml b/.github/workflows/deploy-docs.yml
@@ -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

diff --git a/Makefile b/Makefile
@@ -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: 

diff --git a/docs/package-lock.json b/docs/package-lock.json
diff --git a/docs/package.json b/docs/package.json
@@ -13,8 +13,6 @@
   "author": "",
   "license": "ISC",
   "dependencies": {
-    "eventsource": "^2.0.2",
-    "vue": "^2.6.14",
     "vuepress-theme-cosmos": "^1.0.183"
   }
 }