Create generate-docs.yml

Author: matteemol

.github/workflows/generate-docs.yml

@@ -0,0 +1,63 @@
+name: generate-docs
+
+on:
+  push:
+    branches:    
+      - master
+
+jobs:
+  build:
+
+    runs-on: ubuntu-latest
+
+    steps:
+    - uses: actions/checkout@v4
+    # Standard drop-in approach that should work for most people.
+    - uses: ammaraskar/sphinx-action@master
+      with:
+        pre-build-command: "make clean"
+        build-command: "make html"
+        docs-folder: "docs/"
+    # Example of using a custom build-command.
+#    - uses: ammaraskar/sphinx-action@master
+#      with:
+#        build-command: "sphinx-build -b html . _build"
+#        docs-folder: "docs2/"
+    # Grabbing custom dependencies and building as a pdf.
+#    - uses: ammaraskar/sphinx-action@master
+#      with:
+#        pre-build-command: "apt-get update -y && apt-get install -y latexmk texlive-latex-recommended texlive-latex-extra texlive-fonts-recommended"
+#        build-command: "make latexpdf"
+#        docs-folder: "docs2/"
+    # Great extra actions to compose with:
+    # Create an artifact of the html output.
+#    - uses: actions/upload-artifact@v1
+#      with:
+#        name: DocumentationHTML
+#        path: docs/_build/html/
+    # Create an artifact out of the previously built pdf.
+#    - uses: actions/upload-artifact@v1
+#      with:
+#        name: Documentation
+#        path: docs2/_build/latex/pdfexample.pdf
+    # Publish built docs to gh-pages branch.
+    # ===============================
+    - name: Commit documentation changes
+      run: |
+        git clone https://github.com/matteemol/dbSketcher.git --branch main --single-branch main
+        cp -r docs/build/html/* built-docs/
+        cd gh-pages
+#        touch .nojekyll
+        git config --local user.email "action@github.com"
+        git config --local user.name "GitHub Action"
+        git add .
+        git commit -m "Update documentation" -a || true
+        # The above command will fail if no changes were present, so we ignore
+        # that.
+    - name: Push changes
+      uses: ad-m/github-push-action@master
+      with:
+        branch: main
+        directory: built-docs
+        github_token: ${{ secrets.GITHUB_TOKEN }}
+    # ===============================