Update manual/manual/cmds/native.etex
Update manual/manual/cmds/native.etex

Co-authored-by: Vincent Laviron <c9cb814ffceead318712f5bb1f36c0c27bdb10d0@gmail.com>
gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml