[doit] add task Documentation

stnolting · Jul 15, 2021 · 1a9c699 · 1a9c699
1 parent ea30878
commit 1a9c699
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 1 deletion.
diff --git 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: doit Documentation container
 
     - name: '📤 Upload Artifact: HTML'
       uses: actions/upload-artifact@v2

diff --git a/dodo.py b/dodo.py
@@ -173,3 +173,12 @@ def task_RunRISCVArchitectureTests():
             }
         ],
     }
+
+
+def task_Documentation():
+    return {
+        "actions": ["make -C docs {posargs}"],
+        "doc": "Run a target in subdir 'doc'",
+        "uptodate": [False],
+        "pos_arg": "posargs",
+    }