From 42ed47f87ad809064c88515756ee5621c711a3d5 Mon Sep 17 00:00:00 2001
From: "detail-app[bot]" <180357370+detail-app[bot]@users.noreply.github.com>
Date: Tue, 14 Jul 2026 16:21:58 +0000
Subject: [PATCH] docs: correct Java API seed generator dispatch logic

---
 docs/pipeline-commands.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/pipeline-commands.md b/docs/pipeline-commands.md
index 7d28611b..a5939f17 100644
--- a/docs/pipeline-commands.md
+++ b/docs/pipeline-commands.md
@@ -63,7 +63,7 @@ make fetch-force        # Full: force refetch even if mirrors look complete
 - `wget --mirror --timestamping` skips files that haven't changed on the server.
 - Sources with fewer HTML files than their configured minimum are quarantined and re-fetched when `allowPartial=false`.
 - Sources with `allowPartial=true` retain nonempty, below-minimum mirrors for incremental reruns, but the fetch exits nonzero until they reach the configured minimum. Consequently, `make full-pipeline` stops before Qdrant ingestion while any retained mirror remains partial.
-- Oracle Javadoc uses a deterministic Python seed generator (`scripts/oracle_javadoc_seed.py`) to avoid incomplete recursive crawls.
+- Manifest-governed Java API sources (those with a `javaRelease` field) use a deterministic Python seed generator (`scripts/oracle_javadoc_seed.py`) to avoid incomplete recursive crawls.
 
 ---