restore gh-pages use for docs

Author: dginev

.github/workflows/gh-pages.yml

@@ -0,0 +1,45 @@
+on:
+    push:
+        branches:
+            - master
+            - restore-gh-pages
+
+name: Publish Docs
+jobs:
+  publish_docs:
+    if: github.repository == 'KWARC/rust-libxml'
+    name: Publish Docs
+    runs-on: ubuntu-latest
+    steps:
+    - name: Install dependencies
+      run: |
+        sudo apt-get update
+        sudo apt-get -y libxml2-dev
+    - name: Set up LIBXML2 env var if compiling with the default bindings
+      run: echo "LIBXML2=$(pkg-config libxml-2.0 --variable=libdir)/libxml2.so" >> "$GITHUB_ENV"
+    - uses: actions-rs/toolchain@v1
+      with:
+          profile: minimal
+          toolchain: stable
+          override: true
+    - name: Checkout sources
+      uses: actions/checkout@v4
+    - name: Build Documentation
+      uses: actions-rs/cargo@v1
+      with:
+        command: doc
+        args: --all --no-deps
+
+    - name: Deploy Documentation
+      env:
+        PUBLISH_BRANCH: gh-pages
+        PUBLISH_DIR: ./target/doc
+      run: |
+        git config user.name "${GITHUB_ACTOR}"
+        git config user.email "${GITHUB_ACTOR}@users.noreply.github.com"
+        git fetch origin ${PUBLISH_BRANCH}
+        git checkout ${PUBLISH_BRANCH}
+        find "${GITHUB_WORKSPACE}/${PUBLISH_DIR}" -maxdepth 1 | tail -n +2 | xargs -I % cp -rf % "."
+        git add --all
+        git commit --allow-empty -m "Automated deployment: $(date -u) ${GITHUB_SHA}"
+        git push origin ${PUBLISH_BRANCH}