Merge pull request #190 from t-bltg/patch-1

add manual `workflow_dispatch`

Author: cstjean

.github/workflows/Docs.yml

@@ -6,6 +6,7 @@ on:
     tags: '*'
   pull_request:
     paths: ['docs/**']
+  workflow_dispatch:
 
 concurrency: 
   group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}