Create docs dir if missing

.github/workflows/documentation.yml

@@ -25,6 +25,7 @@ jobs:
 
       - name: Build documentation
         run: |
+          mkdir -p docs
           cd docs
           make html