add icon files

pinellolab · Apr 1, 2024 · 9a84df9 · 9a84df9
1 parent 8753d31
commit 9a84df9
Show file tree

Hide file tree

Showing 4 changed files with 86 additions and 1 deletion.
diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml
@@ -18,7 +18,7 @@ jobs:
         sudo apt-get install python3-distutils
     - name: Build Documentation
       working-directory: docs
-      run: sphinx-build -W --keep-going . _build
+      run: sphinx-build . _build
     - name: copy image files
       run: cp -r docs/assets docs/_build/
     - uses: actions/upload-pages-artifact@v3

diff --git a/docs/assets/beans.svg b/docs/assets/beans.svg
diff --git a/docs/assets/beans_32.ico b/docs/assets/beans_32.ico
diff --git a/docs/conf.py b/docs/conf.py
@@ -53,3 +53,4 @@
         "searchbox.html",
     ]
 }
+html_favicon = "assets/beans_32.ico"
-Original file line number
+Diff line change
@@ Expand Up / @@ -53,3 +53,4 @@ @@
             "searchbox.html",
         ]
     }
+    html_favicon = "assets/beans_32.ico"