From 23d15130f947ebec4e79237a9fa7b151d07e1f02 Mon Sep 17 00:00:00 2001 From: "Sean T. Allen" Date: Tue, 3 Mar 2026 19:58:59 -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 3024ed7..245cd02 100755 --- a/Makefile +++ b/Makefile @@ -4,6 +4,7 @@ PACKAGE := glob 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) @@ -50,7 +51,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)