diff --git a/build.xml b/build.xml
index ad5cd731..e339370d 100644
--- a/build.xml
+++ b/build.xml
@@ -775,6 +775,10 @@ You can also create your own by writing a 'testenvironment.properties' file. The
+
+
+
+
@@ -782,6 +786,14 @@ You can also create your own by writing a 'testenvironment.properties' file. The
+
+
+
+
+
+
+
diff --git a/buildScripts/website.ant.xml b/buildScripts/website.ant.xml
index c27d81fa..ed42d760 100644
--- a/buildScripts/website.ant.xml
+++ b/buildScripts/website.ant.xml
@@ -37,12 +37,42 @@ such as applying the templates to produce the website, converting the changelog
-
+
+
+
+
+
+
+
+
+
+ lombok.version already set.
+ lombok.fullversion already set.
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
Supply lombok.version
+
+ Version: ${lombok.version}
+ Full: ${lombok.fullversion}
+
+
Supply lombok.fullversion
@@ -68,7 +98,7 @@ such as applying the templates to produce the website, converting the changelog
-
+
@@ -95,9 +125,18 @@ such as applying the templates to produce the website, converting the changelog
+
+
+
+
+
+
+
-
+
+
+
\\s*([^\t<]+)\\s*<\\s*/\\s*span\\s*>.*$");
+
+ public static void main(String[] args) throws IOException {
+ System.out.print(fetchVersionFromSite(args.length == 0 || args[0].equals("full")));
+ }
+
+ public static String fetchVersionFromSite(boolean fetchFull) throws IOException {
+ InputStream in = new URL("https://projectlombok.org/download").openStream();
+ try {
+ BufferedReader br = new BufferedReader(new InputStreamReader(in, "UTF-8"));
+ for (String line = br.readLine(); line != null; line = br.readLine()) {
+ Matcher m = VERSION_PATTERN.matcher(line);
+ if (m.matches() && m.group(1).equals("currentVersionFull") == fetchFull) return m.group(2);
+ }
+ throw new IOException("Expected a span with id 'currentVersion'");
+ } finally {
+ in.close();
+ }
+ }
+}
diff --git a/src/website/lombok/website/WebsiteMaker.java b/src/website/lombok/website/WebsiteMaker.java
index 6e773346..88556b97 100644
--- a/src/website/lombok/website/WebsiteMaker.java
+++ b/src/website/lombok/website/WebsiteMaker.java
@@ -335,7 +335,7 @@ public class WebsiteMaker {
data.put("fullVersion", fullVersion);
data.put("timestampString", currentTime);
data.put("year", "" + new GregorianCalendar().get(Calendar.YEAR));
- data.put("changelog", CompileChangelog.getHtml(baseDir.getParentFile()));
+ data.put("changelog", CompileChangelog.getHtmlStartingAtSection(baseDir.getParentFile(), version));
data.put("changelogEdge", CompileChangelog.getHtmlForEdge(baseDir.getParentFile(), version));
return data;
diff --git a/website/templates/download.html b/website/templates/download.html
index 5d89061c..a6b21402 100644
--- a/website/templates/download.html
+++ b/website/templates/download.html
@@ -8,7 +8,8 @@