From ba2cc237f3529d43d3ff6fb57e9bcc8c58999e74 Mon Sep 17 00:00:00 2001
From: Massimiliano Pippi <m.pippi@arduino.cc>
Date: Thu, 21 May 2020 12:18:36 +0200
Subject: [PATCH] fix subprocess invocation

---
 docs/build.py | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/docs/build.py b/docs/build.py
index cde2b7905bc..1066bce0bc7 100644
--- a/docs/build.py
+++ b/docs/build.py
@@ -94,8 +94,7 @@ def main(repo_dir):
         return 0
 
     args = [
-        "task",
-        "docs:publish",
+        "task docs:publish",
         f"DOCS_REMOTE={remote}",
         f"DOCS_VERSION={docs_version}",
         f"DOCS_ALIAS={alias}",