While we are planning to redesign dune tools (as per #12914) , it would still be helpful to add documentation for what we have currently. The subsequent changes can update the documentation as needed, and in the meantime this will help guide people in making use of the functionality as it exists.
We can add ample warnings about the unstable state of the current tooling (tho afaik, we are also expecting the CLI to stay pretty stable).
While we are planning to redesign
dune tools(as per #12914) , it would still be helpful to add documentation for what we have currently. The subsequent changes can update the documentation as needed, and in the meantime this will help guide people in making use of the functionality as it exists.We can add ample warnings about the unstable state of the current tooling (tho afaik, we are also expecting the CLI to stay pretty stable).