chore: 💄📝👷 Bump up version of Rocqnavi to (0.3.1 → 0.4.1) (#1916)

Author: yoshihiro503

.github/workflows/deploy-docs-gh-pages.yml

@@ -28,10 +28,7 @@ jobs:
             default: https://github.com/ocaml/opam-repository.git
 
       - name: Build Mathcomp Analysis
-        run: opam install -y --deps-only . && opam exec -- make -j 4
-
-      - name: Install Rocqnavi
-        run: opam install -y rocq-navi.0.3.1
+        run: opam install -y --deps-only . --with-doc && opam exec -- make -j 4
 
       - name: Generate Documents
         run: opam exec -- make html

.github/workflows/generate_docs.yml

@@ -35,10 +35,7 @@ jobs:
             default: https://github.com/ocaml/opam-repository.git
 
       - name: Build Mathcomp Analysis
-        run: opam install -y --deps-only . && opam exec -- make -j 4
-
-      - name: Install Rocqnavi
-        run: opam install -y rocq-navi.0.3.1
+        run: opam install -y --deps-only . --with-doc && opam exec -- make -j 4
 
       - name: Generate Documents
         run: |

rocq-mathcomp-analysis.opam

@@ -19,6 +19,7 @@ depends: [
   "rocq-mathcomp-solvable"
   "rocq-mathcomp-field"
   "rocq-mathcomp-bigenough" { (>= "1.0.0") }
+  "rocq-navi" {= "0.4.1" & with-doc}
 ]
 
 conflicts: [ "coq-mathcomp-analysis" { < "1.16~" } ]