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 {