I know about the copy_files stanza, but I'm stuck trying to copy files from one subdirectory to another (e.g. the root). Specifically, I'm trying to copy %{workspace_root}/static/ to _build/default/ instead of _build/default/static.
Doing so from the shell is trivial: cp static/* _build/default, but I would like to use the dune build system. According to ChatGPT this isn't possible, but I refuse to believe that considering how simple it is and how easy it would be to implement.
Do I really need to defer to a shell action/script for this?