Update docs

2020-11-07 09:27:06 -08:00
parent 2eb0be0b73
commit 9795d87348
2 changed files with 12 additions and 14 deletions
@@ -97,12 +97,10 @@ def build_docs(version='dev', **kwargs):
              '-Aversion=' + version, '-Aversions=' + ','.join(main_versions),
              '-b', 'html', doc_dir, html_dir])
  try:
-    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')]
-    print("Running {}".format(cmd))
-    check_call(cmd)
+    check_call(['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')])
  except OSError as e:
    if e.errno != errno.ENOENT:
      raise