promote tests

OCamlPro · Jan 16, 2024 · a0bf4d7 · a0bf4d7
1 parent 1206c01
commit a0bf4d7
Show file tree

Hide file tree

Showing 6 changed files with 14 additions and 31 deletions.
diff --git a/example/README.md b/example/README.md
@@ -18,8 +18,6 @@
 
 ```sh
 $ dune exec -- owi --help=plain
-OWI(1)                            Owi Manual                            OWI(1)
-
 NAME
        owi - OCaml WebAssembly Interpreter
 
@@ -47,8 +45,8 @@ COMMANDS
 
 COMMON OPTIONS
        --help[=FMT] (default=auto)
-           Show  this  help  in format FMT. The value FMT must be one of auto,
-           pager, groff or plain. With auto, the  format  is  pager  or  plain
+           Show this help in format FMT. The value FMT must be one of auto,
+           pager, groff or plain. With auto, the format is pager or plain
            whenever the TERM env var is dumb or undefined.
 
        --version
@@ -68,7 +66,6 @@ EXIT STATUS
 BUGS
        Email them to <contact@ndrs.fr>.
 
-Owi 11VERSION11                                                         OWI(1)
 ```
 
 [`owi c`]: ./c

diff --git a/example/c/README.md b/example/c/README.md
@@ -91,10 +91,9 @@ Exercise: can you find another "root" of the polynomial ? :-)
 
 ```sh
 $ dune exec owi -- c --help=plain
-OWI-C(1)                          Owi Manual                          OWI-C(1)
-
 NAME
-       owi-c - Compile a C file to Wasm and run the symbolic interpreter on it
+       owi-c - Compile a C file to Wasm and run the symbolic interpreter on
+       it
 
 SYNOPSIS
        owi c [OPTION]… [ARG]…
@@ -126,8 +125,8 @@ OPTIONS
 
 COMMON OPTIONS
        --help[=FMT] (default=auto)
-           Show  this  help  in format FMT. The value FMT must be one of auto,
-           pager, groff or plain. With auto, the  format  is  pager  or  plain
+           Show this help in format FMT. The value FMT must be one of auto,
+           pager, groff or plain. With auto, the format is pager or plain
            whenever the TERM env var is dumb or undefined.
 
        --version
@@ -150,5 +149,4 @@ BUGS
 SEE ALSO
        owi(1)
 
-Owi 11VERSION11                                                       OWI-C(1)
 ```
diff --git a/example/fmt/README.md b/example/fmt/README.md
@@ -100,8 +100,6 @@ Are you able to recognize the program now?
 
 ```sh
 $ dune exec owi -- fmt --help=plain
-OWI-FMT(1)                        Owi Manual                        OWI-FMT(1)
-
 NAME
        owi-fmt - Format a .wat or .wast file
 
@@ -114,8 +112,8 @@ OPTIONS
 
 COMMON OPTIONS
        --help[=FMT] (default=auto)
-           Show  this  help  in format FMT. The value FMT must be one of auto,
-           pager, groff or plain. With auto, the  format  is  pager  or  plain
+           Show this help in format FMT. The value FMT must be one of auto,
+           pager, groff or plain. With auto, the format is pager or plain
            whenever the TERM env var is dumb or undefined.
 
        --version
@@ -138,5 +136,4 @@ BUGS
 SEE ALSO
        owi(1)
 
-Owi 11VERSION11                                                     OWI-FMT(1)
 ```
diff --git a/example/opt/README.md b/example/opt/README.md
@@ -365,8 +365,6 @@ $ dune exec -- owi opt useless.wat
 
 ```sh
 $ dune exec owi -- opt --help=plain
-OWI-OPT(1)                        Owi Manual                        OWI-OPT(1)
-
 NAME
        owi-opt - Optimize a module
 
@@ -382,8 +380,8 @@ OPTIONS
 
 COMMON OPTIONS
        --help[=FMT] (default=auto)
-           Show  this  help  in format FMT. The value FMT must be one of auto,
-           pager, groff or plain. With auto, the  format  is  pager  or  plain
+           Show this help in format FMT. The value FMT must be one of auto,
+           pager, groff or plain. With auto, the format is pager or plain
            whenever the TERM env var is dumb or undefined.
 
        --version
@@ -406,5 +404,4 @@ BUGS
 SEE ALSO
        owi(1)
 
-Owi 11VERSION11                                                     OWI-OPT(1)
 ```
diff --git a/example/run/README.md b/example/run/README.md
@@ -54,8 +54,6 @@ stack        : [  ]
 
 ```sh
 $ dune exec owi -- run --help=plain
-OWI-RUN(1)                        Owi Manual                        OWI-RUN(1)
-
 NAME
        owi-run - Run the concrete interpreter
 
@@ -77,8 +75,8 @@ OPTIONS
 
 COMMON OPTIONS
        --help[=FMT] (default=auto)
-           Show  this  help  in format FMT. The value FMT must be one of auto,
-           pager, groff or plain. With auto, the  format  is  pager  or  plain
+           Show this help in format FMT. The value FMT must be one of auto,
+           pager, groff or plain. With auto, the format is pager or plain
            whenever the TERM env var is dumb or undefined.
 
        --version
@@ -101,5 +99,4 @@ BUGS
 SEE ALSO
        owi(1)
 
-Owi 11VERSION11                                                     OWI-RUN(1)
 ```
diff --git a/example/sym/README.md b/example/sym/README.md
@@ -42,8 +42,6 @@ TODO
 
 ```sh
 $ dune exec owi -- sym --help=plain
-OWI-SYM(1)                        Owi Manual                        OWI-SYM(1)
-
 NAME
        owi-sym - Run the symbolic interpreter
 
@@ -74,8 +72,8 @@ OPTIONS
 
 COMMON OPTIONS
        --help[=FMT] (default=auto)
-           Show  this  help  in format FMT. The value FMT must be one of auto,
-           pager, groff or plain. With auto, the  format  is  pager  or  plain
+           Show this help in format FMT. The value FMT must be one of auto,
+           pager, groff or plain. With auto, the format is pager or plain
            whenever the TERM env var is dumb or undefined.
 
        --version
@@ -98,5 +96,4 @@ BUGS
 SEE ALSO
        owi(1)
 
-Owi 11VERSION11                                                     OWI-SYM(1)
 ```