From 4ca7e18027dfcd32cfc2bf256bac1230701365ae Mon Sep 17 00:00:00 2001
From: Simon Binder <oss@simonbinder.eu>
Date: Sat, 17 Aug 2019 21:31:30 +0200
Subject: [PATCH] Maybe the netlify.toml file must be top-level?

---
 docs/netlify.toml |  5 -----
 netlify.toml      | 12 ++++++++++++
 2 files changed, 12 insertions(+), 5 deletions(-)
 delete mode 100644 docs/netlify.toml
 create mode 100644 netlify.toml

diff --git a/docs/netlify.toml b/docs/netlify.toml
deleted file mode 100644
index ae9d0bb3f..000000000
--- a/docs/netlify.toml
+++ /dev/null
@@ -1,5 +0,0 @@
-[[redirects]]
-  from = "https://moor.netlify.com/*"
-  to = "https://moor.simonbinder.eu/:splat"
-  status = 301
-  force = true
\ No newline at end of file
diff --git a/netlify.toml b/netlify.toml
new file mode 100644
index 000000000..f09b00e60
--- /dev/null
+++ b/netlify.toml
@@ -0,0 +1,12 @@
+# We use netlify to deploy the documentation.
+
+[build]
+  base = "docs/"
+  publish = "docs/public"
+  command = 'git submodule update --init --recursive && HUGO_ENV="production" hugo'
+
+[[redirects]]
+  from = "https://moor.netlify.com/*"
+  to = "https://moor.simonbinder.eu/:splat"
+  status = 301
+  force = true
\ No newline at end of file