Do not store .doctrees binary files on website (#751)

FEniCS · Nov 29, 2023 · 8f09e27 · 8f09e27
1 parent eaa7e39
commit 8f09e27
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/.github/workflows/pythonapp.yml b/.github/workflows/pythonapp.yml
@@ -65,6 +65,7 @@ jobs:
           doxygen
           cd ../python
           python -m sphinx -W -b html source build/html
+          rm -rf build/html/.doctrees
       - name: Upload C++ documentation artifact
         uses: actions/upload-artifact@v3
         with:

diff --git a/doc/web/make_html.py b/doc/web/make_html.py
@@ -267,5 +267,5 @@ def system(command):
     f.write("   demo/index")
 
 # Make python docs
-system(f"cd {path('python')} && python3 -m sphinx -W -b html source/ build/html")
+system(f"cd {path('python')} && python3 -m sphinx -W -b html source/ build/html && rm -rf build/html/.doctrees")
 system(f"cp -r {path('python/build/html')} {path('html/python')}")