From d288db394028d538d96938ea18c64f3dc1bf5df9 Mon Sep 17 00:00:00 2001 From: "Sean T. Allen" Date: Tue, 3 Mar 2026 19:59:04 -0500 Subject: [PATCH] Use pony-doc for doc generation pony-doc is a dedicated documentation tool that defaults to public-only output, replacing ponyc's --docs-public --pass=docs. --- Makefile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 4398c83..c1474a4 100644 --- a/Makefile +++ b/Makefile @@ -4,6 +4,7 @@ PACKAGE := json GET_DEPENDENCIES_WITH := corral fetch CLEAN_DEPENDENCIES_WITH := corral clean COMPILE_WITH := corral run -- ponyc +BUILD_DOCS_WITH := corral run -- pony-doc BUILD_DIR ?= build/$(config) COVERAGE_DIR ?= build/coverage @@ -56,7 +57,7 @@ clean: $(docs_dir): $(SOURCE_FILES) rm -rf $(docs_dir) $(GET_DEPENDENCIES_WITH) - $(PONYC) --docs-public --pass=docs --output build $(SRC_DIR) + $(BUILD_DOCS_WITH) --output build $(SRC_DIR) docs: $(docs_dir)