From b26524cbd8bd71455e65942f0b0d2b2e29d99590 Mon Sep 17 00:00:00 2001
From: Michael Ernst <mernst@cs.washington.edu>
Date: Tue, 3 Dec 2024 14:12:09 -0800
Subject: [PATCH] There is no need to build the annotated JDK (#6909)

---
 docs/developer/developer-manual.html | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/docs/developer/developer-manual.html b/docs/developer/developer-manual.html
index 2951d66da47..f203107aae5 100644
--- a/docs/developer/developer-manual.html
+++ b/docs/developer/developer-manual.html
@@ -111,6 +111,14 @@ <h3 id="Related_repositories">Related repositories</h3>
 The same is true for the other projects.
 </p>
 
+<p>
+You do not need to explicitly build the <code>jdk</code> repository.  Building
+the Checker Framework (say, via <code>./gradlew assemble</code>) automatically
+makes the Checker Framework use the annotated JDK that exists
+at <code>../jdk/</code> &mdash; that is, as a sibling directory of the Checker
+Framework named <code>jdk</code>.
+</p>
+
 <p>
 If a change spans multiple projects, make pull requests for all of them.
 Each pull request description's should link to all the others.