Add ci job for building the docs

Author: urfeex

.github/workflows/sphinx_build.yml

@@ -0,0 +1,30 @@
+---
+name: "Build documentation"
+on:
+  workflow_dispatch:
+  pull_request:
+  push:
+    branches:
+      - main
+  schedule:
+    - cron: '38 2 * * *'
+
+jobs:
+  docs:
+    runs-on: ubuntu-latest
+    permissions:
+      contents: write
+    concurrency:
+      group: ${{ github.workflow }}-${{ github.ref }}
+    steps:
+      - uses: actions/checkout@v4
+      - uses: actions/setup-python@v5
+        with:
+          cache: 'pip'
+      - name: Install dependencies
+        run: |
+          python -m pip install --upgrade pip
+          pip install -r doc_requirements.txt
+      - name: Build documentation
+        run: |
+          sphinx-build -b html . _doc_build

conf.py

@@ -47,14 +47,13 @@
 # ones.
 extensions = [
     "sphinx_copybutton",
-    "sphinx_favicon",
     "sphinx_rtd_theme",
 ]
 
 copybutton_exclude = ".linenos, .gp, .go"
 
 # Add any paths that contain templates here, relative to this directory.
-templates_path = ["_templates"]
+templates_path = ["doc/_templates"]
 
 # The suffix(es) of source filenames.
 # You can specify multiple suffix as a list of string:

doc_requirements.txt

@@ -0,0 +1,4 @@
+sphinx
+sphinx_rtd_theme
+sphinx-copybutton
+catkin-pkg