From 03c687b8b3084b7db8575ca84e0a77062124ac2e Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Mon, 15 Dec 2025 15:52:04 -0500 Subject: [PATCH] chore: update makefile to add doc targets --- Makefile | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/Makefile b/Makefile index f6d2cc6d..b4d41f61 100644 --- a/Makefile +++ b/Makefile @@ -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