From b6f267607f62e9ccda2d06a267b3b70f46642b5b Mon Sep 17 00:00:00 2001 From: David Sancho Moreno Date: Wed, 15 Oct 2025 11:36:10 +0800 Subject: [PATCH] Change from pipeline to generators --- src/odoc/bin/main.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/odoc/bin/main.ml b/src/odoc/bin/main.ml index f564d9226f..364e4a2ee7 100644 --- a/src/odoc/bin/main.ml +++ b/src/odoc/bin/main.ml @@ -1779,8 +1779,8 @@ let () = Compile_impl.(cmd, info ~docs:section_pipeline); Indexing.(cmd, info ~docs:section_pipeline); Sidebar.(cmd, info ~docs:section_pipeline); - Odoc_markdown_cmd.generate ~docs:section_pipeline; - Odoc_markdown_cmd.generate_source ~docs:section_pipeline; + Odoc_markdown_cmd.generate ~docs:section_generators; + Odoc_markdown_cmd.generate_source ~docs:section_generators; Odoc_markdown_cmd.targets ~docs:section_support; Odoc_manpage.generate ~docs:section_generators; Odoc_latex.generate ~docs:section_generators;