From d80a980c306306e64f68e2d28052badb9d33892f Mon Sep 17 00:00:00 2001
From: gamarin2 <gautier@tendermint.com>
Date: Wed, 5 Jun 2019 20:13:39 +0200
Subject: [PATCH] Merge PR #4484: Fix docs build

---
 docs/.vuepress/config.js | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/docs/.vuepress/config.js b/docs/.vuepress/config.js
index 005ba4ae1..287940242 100644
--- a/docs/.vuepress/config.js
+++ b/docs/.vuepress/config.js
@@ -40,6 +40,7 @@ module.exports = {
           "/tutorial/",
           "/tutorial/app-design",
           "/tutorial/app-init",
+          "/tutorial/types",
           "/tutorial/keeper",
           "/tutorial/msgs-handlers",
           "/tutorial/set-name",
@@ -48,9 +49,11 @@ module.exports = {
           "/tutorial/codec",
           "/tutorial/cli",
           "/tutorial/rest",
+          "/tutorial/module",
+          "/tutorial/genesis",
           "/tutorial/app-complete",
           "/tutorial/entrypoint",
-          "/tutorial/dep",
+          "/tutorial/gomod",
           "/tutorial/build-run",
           "/tutorial/run-rest"
         ]