Use bash skip for mld

codex-semantics-library · May 15, 2024 · eed9003 · eed9003
1 parent 5cde1a8
commit eed9003
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/index.mld b/index.mld
@@ -21,12 +21,12 @@ as part of the {{: https://codex.top/}Codex semantics library}, developed at
 {1 Installation}
 
 This library can be installed with {{: https://opam.ocaml.org/}opam}:
-{@shell[
+{@bash skip[
 opam install patricia-tree
 ]}
 
 Alternatively, you can clone the source repository and install with {{: https://dune.build/}dune}:
-{@shell[
+{@bash skip[
 git clone [email protected]:codex-semantics-library/patricia-tree.git
 opam install . --deps-only
 cd patricia-tree