fixup! update-manual-pages: optionally force a complete rebuild

dscho · Oct 10, 2023 · ada5a65 · ada5a65
1 parent 0e97690
commit ada5a65
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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: