From 6222857465eba0df39595c27aad80efdad9cbefd Mon Sep 17 00:00:00 2001
From: umarcor <unai.martinezcorral@ehu.eus>
Date: Sat, 18 Sep 2021 05:39:07 +0200
Subject: [PATCH] [doit] add task Documentation

---
 .github/workflows/Documentation.yml | 5 ++++-
 do.py                               | 9 +++++++++
 2 files changed, 13 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/Documentation.yml b/.github/workflows/Documentation.yml
index 4e233c969..555681b2d 100644
--- a/.github/workflows/Documentation.yml
+++ b/.github/workflows/Documentation.yml
@@ -46,8 +46,11 @@ jobs:
       with:
         fetch-depth: 0
 
+    - name: '🐍 Install doit'
+      run: pip install doit
+
     - name: '📚 Build Datasheet and User Guide (PDF and HTML)'
-      run: make -C docs container
+      run: ./do.py Documentation container
 
     - name: '📤 Upload Artifact: HTML'
       uses: actions/upload-artifact@v2
diff --git a/do.py b/do.py
index 43857a3fd..8ce7b7866 100755
--- a/do.py
+++ b/do.py
@@ -15,6 +15,15 @@
 ROOT = Path(__file__).parent
 
 
+def task_Documentation():
+    return {
+        "actions": ["make -C docs {posargs}"],
+        "doc": "Run a target in subdir 'doc'",
+        "uptodate": [False],
+        "pos_arg": "posargs",
+    }
+
+
 def task_DeployToGitHubPages():
     cwd = str(ROOT / "public")
     return {