From 49c9692d5d60f224bfde72cb6956f65249034954 Mon Sep 17 00:00:00 2001 From: woutdenolf Date: Fri, 6 Mar 2026 10:01:16 +0100 Subject: [PATCH] add custom doc pre-build commands --- .github/workflows/python-docs.yml | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/.github/workflows/python-docs.yml b/.github/workflows/python-docs.yml index 2018d1d..79c20ed 100644 --- a/.github/workflows/python-docs.yml +++ b/.github/workflows/python-docs.yml @@ -7,6 +7,11 @@ on: description: "Python version for documentation build" type: string default: "3.12" + pre-build-commands: + description: "Optional custom commands to run before building the documentation" + type: string + required: false + default: "" jobs: docs: @@ -23,5 +28,9 @@ jobs: sudo apt-get update sudo apt-get install -y pandoc + - name: Run custom command + if: ${{ inputs.pre-build-commands != '' }} + run: ${{ inputs.pre-build-commands }} + - name: Build documentation run: sphinx-build ./doc ./html