Fix docs deployment

.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

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: 

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"
   }
 }