From f5994131467eac73cde5786cbb8d5cfe845c754c Mon Sep 17 00:00:00 2001
From: Lukas Eder <lukas.eder@gmail.com>
Date: Thu, 24 May 2012 17:27:18 +0200
Subject: [PATCH] Added <h2 id=".."/> to release notes

---
 jOOQ-website/notes.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/jOOQ-website/notes.php b/jOOQ-website/notes.php
index 0c4257d9f1..b0caefdd55 100644
--- a/jOOQ-website/notes.php
+++ b/jOOQ-website/notes.php
@@ -22,7 +22,7 @@ function printContent() {
 
 	for ($i = 0; $i < count($contents); $i++) {
 		if ($i + 1 < count($contents) && substr($contents[$i + 1], 0, 3) == '===') {
-			print '<h2>';
+			print '<h2 id="' . preg_replace('%Version (\d+\.\d+\.\d+).*\n?%', '$1', $contents[$i]) . '">';
 			print $contents[$i];
 			print '</h2>';
 		}