DUNE-TOOLS(1) Dune Manual DUNE-TOOLS(1) NAME dune-tools - Command group for wrapped tools. SYNOPSIS dune tools COMMAND COMMANDS exec COMMAND Command group for running wrapped tools. 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 whenever the TERM env var is dumb or undefined. --version Show version information. EXIT STATUS dune tools exits with: 0 on success. 1 if an error happened. 130 if it was interrupted by a signal. SEE ALSO dune(1) Dune n/a DUNE-TOOLS(1)