Try using pypy

devosoft · Jun 11, 2023 · 3d1e2c4 · 3d1e2c4
1 parent 62a618d
commit 3d1e2c4
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 3 deletions.
diff --git a/.readthedocs.yaml b/.readthedocs.yaml
@@ -9,7 +9,7 @@ version: 2
 build:
   os: ubuntu-22.04
   tools:
-    python: "3.10"
+    python: "pypy3.9"
 
 
 # Build documentation in the docs/ directory with Sphinx
@@ -19,4 +19,4 @@ sphinx:
 # Optionally declare the Python requirements required to build your docs
 python:
    install:
-   - requirements: doc/requirements.txt
+   - requirements: doc/requirements.txt
diff --git a/doc/conf.py b/doc/conf.py
@@ -22,6 +22,7 @@
 import sphinx_rtd_theme
 import subprocess
 import sys
+import textwrap
 
 # -- General configuration ---------------------------------------------
 
@@ -60,7 +61,10 @@
     # TIP: if using the sphinx-bootstrap-theme, you need
     # "treeViewIsBootstrap": True,
     "exhaleExecutesDoxygen": True,
-    "exhaleDoxygenStdin":    "INPUT = ../include"
+    "exhaleDoxygenStdin": textwrap.dedent("""
+        INPUT = ../include
+        EXCLUDE_SYMBOLS += internal
+    """)
 }
 
 # Tell sphinx what the primary language being documented is.