diff --git a/Makefile b/Makefile index c2a1be12..d220e84b 100644 --- a/Makefile +++ b/Makefile @@ -15,6 +15,12 @@ test-autopromote: clean: @dune clean +format: + @dune build @fmt --auto-promote + +format-check: + @dune build @fmt --ignore-promoted-rules + doc: @dune build @doc