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