From c9e6f508276b8d83c1c082486e523cb7c5b14a0f Mon Sep 17 00:00:00 2001 From: Werner Dietl Date: Sat, 10 Oct 2026 04:47:39 -0400 Subject: [PATCH] Mark the Checker Framework version on template-generated pages The Checker Framework release scripts read the version of the current release from https://eisop.github.io/cf: release_build.py and release_push.py call current_distribution_by_website, which looks for "checker-framework-VERSION.zip" and raises ReleaseError if it is missing. The page that ships in newer release zips has that marker, but the pages generated from cf-template.md, including the live /cf/ page for 3.49.5-eisop1, do not. Write the download link of cf-template.md as an HTML anchor that carries the marker, as the shipped page does. kramdown passes the comment through unchanged. Co-Authored-By: Claude Opus 5.5 --- src/main/resources/cf-template.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/main/resources/cf-template.md b/src/main/resources/cf-template.md index 8f78c70c..0f5bda52 100644 --- a/src/main/resources/cf-template.md +++ b/src/main/resources/cf-template.md @@ -13,7 +13,7 @@ Are you tired of null pointer exceptions, unintended side effects, SQL injection The Checker Framework enhances Java's type system to make it more powerful and useful. This lets software developers detect and prevent errors in their Java programs. The Checker Framework includes compiler plug-ins ("checkers") that find bugs or verify their absence. It also permits you to write your own compiler plug-ins. * Quick start: see the [**Installation instructions and tutorial**](manual/manual.html#installation). -* Download: [$LatestCheckerFrameworkReleaseZip]($LatestCheckerFrameworkReleaseDownloadLink) ($LatestCheckerFrameworkReleaseDate); includes source, platform-independent binary, tests, and documentation. +* Download: $LatestCheckerFrameworkReleaseZip ($LatestCheckerFrameworkReleaseDate); includes source, platform-independent binary, tests, and documentation. Then, see the [**installation instructions and tutorial**](manual/manual.html#installation). * Documentation: * [Checker Framework Manual (HTML)](manual/manual.html)