Simplify invocation of github actions

Author: ocampana-videotec

.github/workflows/development-generate-pdf-files.yaml

@@ -5,6 +5,17 @@ on:
   push:
     branches:
       - development
+  workflow_dispatch:
+    inputs:
+      reason:
+        description: 'Reason for manual run'
+        required: false
+        default: 'Testing'
+      add_watermark:
+        description: 'Add "draft" watermark to PDF?'
+        required: true
+        type: boolean
+        default: true
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.ref }}
@@ -71,6 +82,8 @@ jobs:
           export JAVA_TOOL_OPTIONS="-Djavax.xml.XMLConstants.FEATURE_SECURE_PROCESSING=false" ; \
           cd ${{ github.workspace }} ; perl build/build.pl
       - name: Add draft watermark to the PDF files
+        # Runs if it's a push OR if the manual trigger 'add_watermark' is true
+        if: github.event_name == 'push' || inputs.add_watermark == true
         run: |
           cd ${{ github.workspace }} ; fdfind -e pdf . 'out'  -x watermark grid {} "draft"
       - name: Calculate the short commit ID

.github/workflows/dotnet-wsdl-check.yaml

@@ -6,6 +6,7 @@ on:
     paths:
       - '**.wsdl'
       - '**.xsd'
+  workflow_dispatch:
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.ref }}

.github/workflows/generate-svg-from-mathml.yaml

@@ -9,6 +9,7 @@ on:
     paths:
       - doc/equations/*.xml
       - doc/equations/*.mml
+  workflow_dispatch:
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.ref }}

.github/workflows/gsoap-wsdl-check.yaml

@@ -6,6 +6,7 @@ on:
     paths:
       - '**.wsdl'
       - '**.xsd'
+  workflow_dispatch:
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.ref }}