diff --git a/.gitea/workflows/build-docs.yml b/.gitea/workflows/build-docs.yml index d0d6490..4366170 100644 --- a/.gitea/workflows/build-docs.yml +++ b/.gitea/workflows/build-docs.yml @@ -10,6 +10,8 @@ on: - "docs/manualtools.py" - "docs/verify-manual.py" - "docs/site/**" + - "functions/**" + workflow_dispatch: jobs: build-docs: