Support exporting Idris types to Java

.github/workflows/ci-sphinx.yml

@@ -0,0 +1,26 @@
+name: Sphinx
+
+on:
+  push:
+    branches:
+      - '*'
+    tags:
+      - '*'
+  pull_request:
+    branches:
+      - main
+jobs:
+
+  sphinx-doc-check:
+    name: Sphinx
+    runs-on: ubuntu-latest
+    steps:
+
+      - name: Checkout
+        uses: actions/checkout@v4
+      - name: Build docs
+        run: |
+          sudo apt-get install -y python3-sphinx
+          pip3 install -r docs/requirements.txt
+          cd docs
+          make html

docs/conf.py

@@ -7,7 +7,7 @@
 # https://www.sphinx-doc.org/en/master/usage/configuration.html#project-information
 
 project = 'Idris JVM'
-copyright = '2023, Marimuthu Madasamy'
+copyright = '2024, Marimuthu Madasamy'
 author = 'Marimuthu Madasamy'
 
 # -- General configuration ---------------------------------------------------
@@ -22,4 +22,5 @@
 # https://www.sphinx-doc.org/en/master/usage/configuration.html#options-for-html-output
 
 html_theme = "sphinx_rtd_theme"
+html_theme_options = {'navigation_depth': 5 }
 html_static_path = ['_static']