Merge pull request #379 from mkelley/rtd-dirty-index-2023.06

Avoid a dirty git index with readthedocs
NASA-Planetary-Science · Jun 30, 2023 · 8aacf39 · 8aacf39
2 parents 39b0c3c + 7d79b67
commit 8aacf39
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 2 deletions.
diff --git a/.gitignore b/.gitignore
@@ -63,6 +63,7 @@ distribute-*.tar.gz
 *py#
 .firebase
 .tmp
+coverage.xml
 
 # Mac OSX
 .DS_Store

diff --git a/.readthedocs.yaml b/.readthedocs.yaml
@@ -7,9 +7,12 @@ version: 2
 build:
   os: ubuntu-20.04
   tools:
-    python: "3.9"
+    python: "3.10"
   apt_packages:
     - graphviz
+  jobs:
+    pre_install:
+      - git update-index --assume-unchanged docs/conf.py
 
 sphinx:
   builder: html
@@ -26,4 +29,4 @@ python:
         - all
 
 # Don't build any extra formats
-formats: []
+formats: []