Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[new release] cmdliner (1.2.0+dune) #210

Merged
merged 1 commit into from Nov 6, 2023

Conversation

tmattio
Copy link
Contributor

@tmattio tmattio commented Nov 5, 2023

Declarative definition of command line interfaces for OCaml

CHANGES:
  • In manpage specification the new variable $(iname) substitutes the
    command invocation (from program name to subcommand) in bold (dune-universe/cmdliner#168).
    This variable is now used in the default introduction of the EXIT STATUS
    section. Thanks to Ali Caglayan for suggesting.
  • Fix manpage rendering when PAGER=less is set (dune-universe/cmdliner#167).
  • Plain text manpage rendering: fix broken handling of `Noblank.
    Thanks to Michael Richards and Reynir Björnsson for the report (dune-universe/cmdliner#176).
  • Fix install to directory with spaces (dune-universe/cmdliner#172). Thanks to
    @ZSFactory for reporting and suggesting the fix.
  • Fix manpage paging on Windows (dune-universe/cmdliner#166). Thanks to Nicolás Ojeda Bär
    for the report and the solution.

CHANGES:

- In manpage specification the new variable `$(iname)` substitutes the
  command invocation (from program name to subcommand) in bold (dune-universe/cmdliner#168).
  This variable is now used in the default introduction of the `EXIT STATUS`
  section. Thanks to Ali Caglayan for suggesting.
- Fix manpage rendering when `PAGER=less` is set (dune-universe/cmdliner#167).
- Plain text manpage rendering: fix broken handling of `` `Noblank ``.
  Thanks to Michael Richards and Reynir Björnsson for the report (dune-universe/cmdliner#176).
- Fix install to directory with spaces (dune-universe/cmdliner#172). Thanks to
  @ZSFactory for reporting and suggesting the fix.
- Fix manpage paging on Windows (dune-universe/cmdliner#166). Thanks to Nicolás Ojeda Bär
  for the report and the solution.
@tmattio tmattio merged commit 91a3717 into dune-universe:master Nov 6, 2023
3 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant