build docs for python-rocksdb using github-pages

Author: wbarnha

.github/workflows/gh-pages.yml

@@ -0,0 +1,42 @@
+name: Pages
+
+on:
+  push:
+    branches:
+    - master
+
+jobs:
+  build:
+    name: "Build docs"
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/setup-python@v4
+    - uses: actions/checkout@v3
+      with:
+        fetch-depth: 0 # otherwise, you will failed to push refs to dest repo
+    - name: "Install deps and build with Sphinx"
+      run: >
+        cd docs
+        pip3 install -r ./docs/docs.txt
+        make html
+    - name: "Upload artifacts"
+      uses: actions/upload-pages-artifact@v1
+      with:
+        # Upload built docs
+        path: "./docs/_build/html/"
+  deploy:
+    name: "Deploy docs"
+    needs: build
+    runs-on: ubuntu-latest
+    # Grant GITHUB_TOKEN the permissions required to make a Pages deployment
+    permissions:
+      pages: write      # to deploy to Pages
+      id-token: write   # to verify the deployment originates from an appropriate source
+    # Deploy to the github-pages environment
+    environment:
+      name: github-pages
+      url: ${{ steps.deployment.outputs.page_url }}
+    steps:
+    - uses: actions/deploy-pages@v1
+      id: deployment
+      name: "Deploy to GitHub Pages"

docs/docs.txt

@@ -0,0 +1,7 @@
+-r requirements.txt
+sphinx<6.0.0
+sphinx-celery
+sphinx-autodoc-typehints
+m2r2
+sphinx_rtd_theme
+jinja2<3.1.0