From 88c7a76978f7a5eac270d2f48fe3c95f79fcb529 Mon Sep 17 00:00:00 2001
From: Olivier Tassinari <olivier.tassinari@gmail.com>
Date: Sun, 15 Mar 2020 12:53:44 +0100
Subject: [PATCH] sebastian review

---
 docs/next.config.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docs/next.config.js b/docs/next.config.js
index 18d3549325d907..4fec14ad8e21ff 100644
--- a/docs/next.config.js
+++ b/docs/next.config.js
@@ -16,6 +16,7 @@ module.exports = {
   typescript: {
     // Motivated by https://github.com/zeit/next.js/issues/7687
     ignoreDevErrors: true,
+    ignoreBuildErrors: true,
   },
   webpack: (config, options) => {
     const plugins = config.plugins.concat([