From 0c73c07a3e2cd79fb4fbe9d2196367f8e84d16e9 Mon Sep 17 00:00:00 2001 From: Michael Ernst Date: Mon, 24 Jun 2024 11:13:01 -0700 Subject: [PATCH] Reorder links --- docs/developer/developer-manual.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/developer/developer-manual.html b/docs/developer/developer-manual.html index b2bb3d44dec..80408087964 100644 --- a/docs/developer/developer-manual.html +++ b/docs/developer/developer-manual.html @@ -518,9 +518,9 @@

Making a Checker Framework release See a separate document about the Checker Framework release process: +web version (from previous release) or -local version (link works from a clone) or -web version (from previous release). +local version (link works from a clone).