From fe328b6f356d293bcf77b866ffe48f19e8044a2a Mon Sep 17 00:00:00 2001 From: "Sean T. Allen" Date: Tue, 3 Mar 2026 19:59:00 -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 06671a1..63b6bf3 100644 --- a/Makefile +++ b/Makefile @@ -4,6 +4,7 @@ PACKAGE := github_rest_api 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) SRC_DIR := $(PACKAGE) @@ -71,7 +72,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)