dune_add_copy_commandΒΆ

This command is documented in DuneSymlinkOrCopy.

See dune_add_copy_command() in the module page DuneSymlinkOrCopy.