From 86243f6a8c68636e72d4dc228290549d80289247 Mon Sep 17 00:00:00 2001
From: Alessio Treglia <alessio@tendermint.com>
Date: Tue, 7 Jul 2020 19:56:01 +0200
Subject: [PATCH] fix docs build failure (#6633)

---
 .circleci/config.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.circleci/config.yml b/.circleci/config.yml
index c48fe3b467..099db02d8a 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -38,10 +38,10 @@ jobs:
       - checkout
       - run:
           name: "Build docs"
-          command: make build-docs
+          command: make build-docs LEDGER_ENABLED=false
       - run:
           name: "Upload docs to S3"
-          command: make sync-docs
+          command: make sync-docs LEDGER_ENABLED=false
 
 workflows:
   version: 2