Update build commands in README #68
Description
Most commands use make and some of them are no longer supported, such as make doc. We should update them to use dune directly.
{{ message }}
Most commands use make and some of them are no longer supported, such as make doc. We should update them to use dune directly.