Skip to content

Commit

Permalink
Try to make parent commit work on Windows (dbuenzli#167).
Browse files Browse the repository at this point in the history
  • Loading branch information
dbuenzli authored and rgrinberg committed Apr 4, 2023
1 parent 15e0d59 commit 7c16578
Showing 1 changed file with 4 additions and 1 deletion.
5 changes: 4 additions & 1 deletion src/cmdliner_manpage.ml
Original file line number Diff line number Diff line change
Expand Up @@ -454,7 +454,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";
Expand Down

0 comments on commit 7c16578

Please sign in to comment.