Build and deploy docs via GitHub action

This commit is contained in:
Simon Binder
2021-03-12 22:12:20 +01:00
parent ba95127cab
commit 38b4f094e9
4 changed files with 37 additions and 19 deletions
-2
View File
@@ -1,9 +1,7 @@
# We use netlify to deploy the documentation.
[build]
base = ""
publish = "docs/deploy"
command = 'tool/netlify_build.sh'
[[redirects]]
from = "https://moor.netlify.app/*"