chore: update makefile to add doc targets

This commit is contained in:
Simon Cruanes 2025-12-15 15:52:04 -05:00
parent 09e4620603
commit 03c687b8b3
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -16,6 +16,13 @@ protoc-gen:
update-submodules:
git submodule update --init
doc:
@dune build @doc
PACKAGES=$(shell opam show . -f name)
odig-doc:
@odig odoc --cache-dir=_doc/ $(PACKAGES)
format:
@dune build @fmt --auto-promote