diff --git a/.github/workflows/update-git-version-and-manual-pages.yml b/.github/workflows/update-git-version-and-manual-pages.yml index 892e457afc..92129b42b4 100644 --- a/.github/workflows/update-git-version-and-manual-pages.yml +++ b/.github/workflows/update-git-version-and-manual-pages.yml @@ -4,7 +4,7 @@ on: workflow_dispatch: inputs: force-rebuild: - description: Whether to force re-building all manual pages (e.g. after a script change) + description: Force re-building all manual pages (e.g. after a script change) type: boolean default: false schedule: