From ab5e0632fe199add1f699f52a66ac53072b441b0 Mon Sep 17 00:00:00 2001 From: Victor Zverovich Date: Sat, 7 Nov 2020 08:54:58 -0800 Subject: [PATCH] Debug doc build --- doc/build.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/doc/build.py b/doc/build.py index bbec3c6b..663b0fc1 100755 --- a/doc/build.py +++ b/doc/build.py @@ -103,6 +103,8 @@ def build_docs(version='dev', **kwargs): os.path.join(html_dir, '_static', 'fmt.css')] print("Running {}".format(cmd)) check_call(cmd) + sys.stdout.flush() + check_call(['ls', '-R', os.path.join(html_dir, '_static')]) except OSError as e: if e.errno != errno.ENOENT: raise