Enable manually run build documentation in github actions

.github/workflows/build-documentation.yml

@@ -1,5 +1,6 @@
 name: Build documentation
 on:
+  workflow_dispatch:
   push:
     paths:
       - docs/**