docs: update docs

dgcnz · Oct 25, 2024 · de8bd06 · de8bd06
1 parent f8d6376
commit de8bd06
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/deploy_book.yaml b/.github/workflows/deploy_book.yaml
@@ -11,7 +11,7 @@ on:
     # folder has been modified.
     #
     paths:
-    - docs/src
+    - docs/src/**
 
 # This job installs dependencies, builds the book, and pushes it to `gh-pages`
 jobs: