Try to make parent commit work on Windows (#167).

dbuenzli · Jan 18, 2023 · f239981 · f239981
1 parent 1de3611
commit f239981
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/src/cmdliner_manpage.ml b/src/cmdliner_manpage.ml
@@ -453,7 +453,10 @@ let pp_to_pager print ppf v =
   match pager with
   | None -> print `Plain ppf v
   | Some (pager, opts) ->
-      let pager = "LESS=FRX " ^ pager ^ opts in
+      let pager = match Sys.win32 with
+      | false -> "LESS=FRX " ^ pager ^ opts
+      | true -> "set LESS=FRX && " ^ pager ^ opts
+      in
       let groffer =
         let cmds =
           ["mandoc", " -m man -K utf-8 -T utf8";