Fix doc deployment

Author: mthrok

.github/workflows/build_docs.yml

@@ -110,6 +110,9 @@ jobs:
       with:
         ref: gh-pages
         fetch-depth: 5
+    - uses: actions/checkout@v4
+      with:
+        path: _src
     - uses: actions/download-artifact@v3
       with:
         name: docs
@@ -126,7 +129,7 @@ jobs:
            git commit --allow-empty -m "placeholder"
         fi
 
-        dirname="$(cat src/version.txt)"
+        dirname="$(cat _src/version.txt)"
         rm -rf "${dirname}"
         mv html "${dirname}"
         git add --all "${dirname}" || true