From 98639d0f6f67c4230a738fc6df59f0c5fe86629e Mon Sep 17 00:00:00 2001
From: Victor Zverovich <victor.zverovich@gmail.com>
Date: Sat, 7 Nov 2020 09:04:07 -0800
Subject: [PATCH] Debug doc build

---
 doc/build.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/build.py b/doc/build.py
index 663b0fc1..cdcea691 100755
--- a/doc/build.py
+++ b/doc/build.py
@@ -97,7 +97,7 @@ def build_docs(version='dev', **kwargs):
               '-Aversion=' + version, '-Aversions=' + ','.join(main_versions),
               '-b', 'html', doc_dir, html_dir])
   try:
-    cmd = ['lessc', '--clean-css',
+    cmd = ['lessc', '--verbose', '--clean-css',
            '--include-path=' + os.path.join(doc_dir, 'bootstrap'),
            os.path.join(doc_dir, 'fmt.less'),
            os.path.join(html_dir, '_static', 'fmt.css')]