option for manual dispatching of documentation job to CI

Author: maltezfaria

.github/workflows/Docs.yml

@@ -18,6 +18,7 @@ on:
       - "src/**"
       - "*.toml"
     types: [opened, synchronize, reopened]
+  workflow_dispatch:
 
 concurrency:
   # Skip intermediate builds: always.