Remove unecessary output in doc and fix deploy CI

.github/workflows/deploy.yml

@@ -20,8 +20,6 @@ jobs:
     steps:
       - name: Checkout
         uses: actions/checkout@v4
-        with:
-          submodules: recursive
 
       - name: Setup OCaml 4.14
         uses: ocaml/setup-ocaml@v3
@@ -37,10 +35,12 @@ jobs:
         run: |
           opam install -y . --deps-only --with-doc --with-test
           opam install z3
-          opam exec -- dune build @install @doc
+          opam exec -- dune build @install
+          opam exec -- dune install
           BISECT_FILE=`pwd`/bisect opam exec -- dune runtest --force --instrument-with bisect_ppx
           opam exec -- bisect-ppx-report html -o _build/default/_doc/_html/coverage
           opam exec -- bisect-ppx-report send-to Coveralls
+          opam exec -- dune build @doc
         env:
           COVERALLS_REPO_TOKEN: ${{ secrets.COVERALLS_REPO_TOKEN }}
 

doc/index.mld

@@ -16,17 +16,7 @@ is outlined below:
 
 {@ocaml[
 # #use "topfind"
-- : unit = ()
-Findlib has been successfully loaded. Additional directives:
-  #require "package";;      to load a package
-  #list;;                   to list the available packages
-  #camlp4o;;                to load camlp4 (standard syntax)
-  #camlp4r;;                to load camlp4 (revised syntax)
-  #predicates "p,q,...";;   to set these predicates
-  Topfind.reset();;         to force that packages will be reloaded
-  #thread;;                 to enable threads
-
-- : unit = ()
+...
 # #require "smtml"
 # #install_printer Smtml.Expr.pp
 # module Z3 = Smtml.Solver.Batch (Smtml.Z3_mappings)