dune-promote(1) on Linux
The text 19be0003986c, as Debian 10 (Buster) shipped it.
Promote files from the last run
Flags it lists
-
--auto-promote -
--config-file -
--debug-backtraces -
--debug-dependency-path -
--debug-findlib -
--default-target -
--dev -
--diff-command -
--display -
--for-release-of-packages -
--force -
--ignore-promoted-rules -
--no-buffer -
--no-config -
--only-packages -
--profile -
--root -
--stats -
--verbose -
--version -
--watch -
--workspace -
-f -
-j -
-p -
-w -
-x